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