>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【訃報】大宮エリーさん死去 49歳 映画監督、脚本家、演出家など幅広く活躍… 電通デビュー作は広末涼子のドコモCM [冬月記者★]
- 【MLB】大谷翔平が急ブレーキ パパ初の本拠地も4の0 真美子夫人が選曲の登場曲も復帰後打率.125… 試合終了13分後に足早帰宅 [冬月記者★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- 【芸能】永野芽郁「あなたより大きなスクープとってみせます」 阿部寛「やれるもんならやってみろ!」 ドラマのセリフが大ブーメランに [冬月記者★]
- 【栃木】東北自動車道上り線の逆走車による多重事故で2人意識不明 那須ICから黒磯板室ICの間 ほかにけが人複数 [シャチ★]
- 【サッカー】三笘薫が2戦連発!89分に今季プレミア9点目!ブライトンは超劇的勝利!ウェストハムを3−2撃破で公式戦7試合ぶりの歓喜 [久太郎★]
- みんなでおにまいのまひろちゃんを描くスレ
- ▶シオンたんお別れ会
- ジャップって完全にグローバルからはみ出した変人の国だよな [271912485]
- 漫画家の双龍さん、万博コスプレにブチギレ。お前らの想像の4倍ブチギレてる [485187932]
- 大阪万博の空飛ぶクルマ、デモ飛行中にプロペラ部品が外れるwwwwwwwwwwwwww🤣 [931948549]
- DCが安価でトッモにLINE