[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
894(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/19(木)17:33 ID:NsYAj7SX(1/2) AAS
>>888
＞Zが順序<で整列集合でない、といわれて逆上し
＞「別の二項関係 R を考えれば」と言い訳してまで
１．？ 言い訳？ Wikipediaのコピーだけどｗｗ（＾＾；
２．ZFC下で、もし集合が存在しさえすれば、Zermeloの整列定理（それは選択公理と同値だが）で、整列可能であり、正則性公理には反しない
３．逆に、正則性公理に反する集合（特に無限集合）は、最初から存在しえない
その根本が分かってないんじゃね？
省2
895(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/19(木)17:35 ID:NsYAj7SX(2/2) AAS
>>894 タイポ訂正
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小限の存在で捉えた方が良いと思うぜ（＾＾
↓
だから正則性公理は、無限降下列で捉えるよりも、∈に関する最小元の存在で捉えた方が良いと思うぜ（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s