[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
669(1): 2019/12/07(土)17:27 ID:uZFmzNJe(20/27) AAS
>>667
>>644の「Fの任意の元がシングルトン⇒Fは有限集合」の話ですよね？
「Fの任意の元がシングルトン」でY∈F､Z∈Ｙ⇒Z∈Fなんですよね？
で、Fはそもそも正則性公理を満たしますか？
670(1): 2019/12/07(土)17:30 ID:r8l5YtX/(14/21) AAS
>>669
正則性公理はもちろん満たしていることは大前提でスレ主は正則性公理下でも矛盾しないと主張しています。
正則性公理がなければ矛盾するのかしないのかは知りません。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s