[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
966(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)08:07 ID:AVt64yFu(5/9) AAS
>>961 補足
(引用開始)
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω＝Nも出来なくは無い
ω＝N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
省14
968: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)08:11 ID:AVt64yFu(6/9) AAS
>>966 補足の補足
順序数の<ノイマン構成>と<Zermelo構成>
この2つ以外もあるだろうが
後者関数が違っても
順序同型になって
同型の意味で、
一意でしょ
969(1): 2019/12/21(土)08:18 ID:RiKZpZyq(3/15) AAS
>>966
＞・確かに、ωは、それ以前の何者の後者でもない
この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった
な・ぜ・な・ら
Zermelo構成の次者関数s(x)={x}は、あくまで
後続順序数がシングルトンであることを決めただけ
であるから
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s