[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
402(2): 2021/11/19(金)21:35 ID:kdw3z2XW(4/5) AAS
>>401
正しく書けよ 三歳児
ーーーーーーーーーーー
数→Zermelo→Neumann
0 :{} → {}
1 :{0} → {0}
2 :{1} → {0,1}
省18
403: 2021/11/19(金)21:37 ID:kdw3z2XW(5/5) AAS
>>402
誤 結局Zermeloでも{0,1,2,･･,n-1}とするしかないと気づく
正 結局Zermeloでも{0,1,2,･･,n-1,･･･}とするしかないと気づく
405(6): 2021/11/20(土)11:36 ID:5AMtJA2Q(1/4) AAS
>>402
>そうするとωで困る筈
困らないよ
後者関数で定義しようとするからそうなる
確かに、Zermeloが最初にシングルトン{}を使って、自然数を公理的に作ろうとしたときは
「自然数全体の集合 N＝ωはどうする？」というところが、問題になったらしい
だが、ノイマン構成で、N＝ωが出来たあかつきには、後者関数を使わない方法をとればいい
省27
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s