[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
794(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20 ID:BvQtIPz4(5/5) AAS
>>783 補足
(>>420より)
<Zermelo構成>
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
省23
795: 2019/12/15(日)15:26 ID:PRdnkv5o(10/16) AAS
>>794
＞シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
上記の上昇列に自然数以外の順序数は一切現れない
＞だから、ωに相当するシングルトンの存在は、正則性公理には反しない
「だから」以降は云えない
まず、ωは自然数ではない
自然数の後続順序数は自然数である
省8
945(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/20(金)21:20 ID:ZaXFXilg(1/5) AAS
>>934
おサルの数学は面白いわ（＾＾
（>>794より）
<Zermelo構成>
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
省37
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s