[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

961(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)00:23 ID:AVt64yFu(1/9) AAS
>>945 補足
（>>783）
<ノイマン構成>
0,1,2,・・,n-1,n,・・,ω,ω+1,ω+2,・・
後者関数を、suc (a):=a∪{a}とする
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
例えば、ω+1:=ω∪{ω}
省27

---

962: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)00:24 ID:AVt64yFu(2/9) AAS
>>961
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
順序数（じゅんじょすう、英: ordinal number）とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である。
S(α) を α の後続者（successor of α）と呼ぶ
順序数の並び方を次のように図示することができる：
省7

---

965: 2019/12/21(土)08:01 ID:RiKZpZyq(1/15) AAS
>>961
>ω＝Nも出来なくは無い
>ω＝N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい

Ω＝{{},{{}},{{{}}},…}とするしかない　「も出来なくは無い」は馬鹿
Ω+1={Ω}、Ω+2＝{{Ω}}となるしかない　「としてもいい」は馬鹿

>だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。

なぜかわかるか？馬鹿にはわからんか（嘲）
省18

---

966(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/21(土)08:07 ID:AVt64yFu(5/9) AAS
>>961　補足

(引用開始)
けれども、<Zermelo構成>によるωの構成はだれも否定していない
<ノイマン構成>からぱくって、ω＝Nも出来なくは無い
ω＝N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい
だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。
だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗
省14

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.040s