[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
575(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/03(火)00:09 ID:BRqy0upZ(2/4) AAS
>>574
つづき
ノイマン 構成から、Zermelo 構成を抽出する集合の操作は
分出公理を使えば可
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
(抜粋)
省5
576(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/03(火)00:15 ID:BRqy0upZ(3/4) AAS
>>575 補足
なお、順序数ωの数直線におけるモデルは、
>>563で示した。なお>>568もご参照
以上
正則性公理？
Zermelo 構成がだめだと？ｗ
だったら、ノイマン 構成もダメになるぞ
省1
580: 2019/12/03(火)06:22 ID:2OK0+uPO(3/6) AAS
>>575
＞ノイマン 構成から、Zermelo 構成を抽出する
＞集合の操作は分出公理を使えば可
じゃ、やってみせてくれ
ありもしない「ωの一番右側の元」から
◆e.a0E5TtKEのいうZermelo構成の
ウソΩとやらをどうやってデッチあげるのかね（嘲）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s