[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
164(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:50 ID:G5rtMfGn(10/22) AAS
>>153 補足
（ノイマン構成）に倣って、
後者関数suc (a)に対して、
それまでに出来た集合の和 ∪a との対応を考えよう
番号 ∪a
0:=Φ
1:={Φ} {0}
2:={{Φ}} {0,1}
・
・
省10
166(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:58 ID:G5rtMfGn(11/22) AAS
>>164 補足
１．勿論、これはZermeloの意図した 自然数の公理的構成とは違って、
現代数学の成果
例えば、順序位相による極限などを、自由に使っている
２．いま、問題にしていることは、
21世紀の視点から
ノイマン構成によって、自然数の公理的構成が可能なことは、既知として
ノイマン構成以外の後者関数を使った場合どうなるか？
特に、Zermeloのシングルトンによる後者関数を使った場合にどうなるかを
現代数学の視点で検証しようということ
省3
181: 2020/01/01(水)16:54 ID:E03EXCHH(2/10) AAS
>>157
◆e.a0E5TtKE 2020年二番めのトンデモ発言
>・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる
・・・{{{Φ}}}・・・ をよく見よう
一番外側の｛｝がないね
つ・ま・り、集合ではないんだな
（正則性公理を満たさないという指摘に対する
対応の結果がこれなら完全な自爆行為だな）
>>158
>極限で定義したと言っている
省28
257(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/03(金)11:20 ID:ivt0JCXh(7/8) AAS
>>256 追加
>>250より
自然数のノイマン構成：空集合から出発して、後者関数はそれ以前に出来た全ての数とする
>>164より
（ノイマン構成）に倣って、
後者関数suc (a)に対して、
それまでに出来た集合の和 ∪a との対応を考えよう
番号 ∪a
0:=Φ
1:={Φ} {0}
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.047s