>>783 補足
(>>420より)
<Zermelo構成>
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
形式的な定義
自然数の公理
集合論において標準的となっている自然数の構成は以下の通りである。
空集合を 0 と定義する。
0:=Φ ={}
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
(>>783より)
<Zermelo構成>
0,1,2,3,・・・たちを集合として見たら
(可算無限長の)上昇列:0∈1∈2∈3∈4∈…
が構成される
上昇列は、正則性公理には反しない(>>783)
シングルトンの(可算無限長の)上昇列は、正則性公理には反しない
だから、ωに相当するシングルトンの存在は、正則性公理には反しない
ωに相当するシングルトンの存在を否定したければ、別の理論を持ってこい w!!w (^^:
(そんな理論はありませんww)
QED
(^^
探検
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
794現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/15(日) 15:20:01.62ID:BvQtIPz4■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【悪質】吐き気がし道端にしゃがんだ10代女性に「大丈夫ですか?」40~50代くらいの男が”介抱”しながら女性の体に手を 札幌 [おっさん友の会★]
- バナナマン・設楽統が体調不良、レギュラーラジオ番組を欠席 [おっさん友の会★]
- フジテレビ第三者委員会報告に記載「タレントU」 各局は実名を把握・共有で「使う局ナシ」★4 [Ailuropoda melanoleuca★]
- 【文春】中居正広『性暴力』被害の元フジテレビ女性アナ「私はこの事件のことを隠したかった」「けど、誹謗中傷され、さげすまれ…」 [冬月記者★]
- トランプ大統領、世界株安でも平日ゴルフ 「失敗するのは弱いやつだけだ」と自身の関税政策を擁護 ★2 [Hitzeschleier★]
- フジテレビ第三者委員会報告に記載「タレントU」 各局は実名を把握・共有で「使う局ナシ」★3 [Ailuropoda melanoleuca★]
- 株価を大暴落させたトランプ、支持率上昇!労働者達「投資家は俺達から楽して搾取してきた。痛快だよ」 [476167917]
- 【実況】博衣こよりのえちえちクロノトリガー🧪★7
- ウンテンドーウンッチ2✌🏿💩🏡
- 石破総理「中国館は月の土だって。よくわからん」と大阪万博の正直な感想を述べる [245325974]
- 日本人「またアジア人が迷惑行為」これ白人笑うらしいな「お前もアジア人だろって」 [412290841]
- 1回のセックスで出られるなんてつまらないから何回セックスしても出られない部屋に閉じ込められたい