Inter-universal geometry と ABC予想 (応援スレ) 60

Inter-universal geometry と ABC予想 (応援スレ) 60at MATH

Inter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch550: 　>>492 規則７．∃x∀y(y∃x⇔(y∃a∧Ａ(y)) 　↓ 規則７．∃x∀y(y∈x⇔(y∈a∧Ａ(y)) 補足：コピーしたんだが、別のところの修正で、置換機能で ∈→∃ を掛けたんだが、そのときに、全置換をしたので、無関係な規則７まで置換が走ったんだ＞>？下記の内包公理および分出公理と言葉つかいが違うけど＞同じ意味だよ　そこ分かったよ、あんたの内包公理>>490の話下記の ”restricted comprehension”（制限された内包）と、”Unrestricted comprehension”（無制限内包）とだね axiom of comprehension (内包性公理)は、最初Fregeが1884年に発表したが、このときは”Unrestricted comprehension”（無制限内包）だった（下記）（"contains all the essential steps of a valid proof (in second-order logic) ・・”）それが、ラッセルのパラドックスを生むことが分かって、”restricted comprehension”（制限された内包）にして、Zermeloが公理として採用したわけだこれが、後の「内包公理」 >>492になって、いま日本で「内包公理」というと、”restricted comprehension”のZermeloの公理を指すみたいだね（下記ご参照） (参考) https://ejje.weblio.jp/content/comprehension+axiom comprehension axiomとは weblio 内包公理; 内包性公理つづく

次ページ

続きを表示

1を表示