>>934
おサルの数学は面白いわ(^^
(>>794より)
<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} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
この後を続けると
n := {n-1} = {・・{0}・・} (0のn重シングルトン)
・
・
ω:(0の可算無限重シングルトン)
ω+1:= {ω}(ωの1重シングルトン)
ω+2:= {ω}(ωの2重シングルトン)
ω+3:= {ω}(ωの3重シングルトン)
となる
これが一番自然でしょ(^^
おサルの主張は、
「”ω:(0の可算無限重シングルトン)”と考えると
”ωから、無限降下列が構成される”から、正則性公理に反する」
ということだったろ?w(^^
しかし、>>886に示したように、<Zermelo構成>による
後者関数による自然数の構成は、あくまで上昇列であって、「正則性公理に反することはない!」というのがヒトの数学だ!!
(実はZermelo構成に限らず、自然数の構成は、あくまで上昇列なのだよ。当たり前のことだが)
”ω:(0の可算無限重シングルトン)”の存在が、なぜ「正則性公理に反する」と言えるのかな?w(^^
確かに、”ω:(0の可算無限重シングルトン)”以外の可能性も、あるかもな
しかし、今問題にしていることは
おサルの主張:『”ω:(0の可算無限重シングルトン)”の存在は、”正則性公理に反する”』なのだ
どうぞ、ご説明を
お願いしますよww(^^;
どこでどう、、”正則性公理に反する”のかのご説明をww
それできないに、1ペソ (:p
探検
現代数学の系譜 カントル 超限集合論
レス数が900を超えています。1000を超えると表示できなくなるよ。
945現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/20(金) 21:20:50.44ID:ZaXFXilgレス数が900を超えています。1000を超えると表示できなくなるよ。
ニュース
- 【訃報】大宮エリーさん死去 49歳 映画監督、脚本家、演出家など幅広く活躍… 電通デビュー作は広末涼子のドコモCM [冬月記者★]
- 【MLB】大谷翔平が急ブレーキ パパ初の本拠地も4の0 真美子夫人が選曲の登場曲も復帰後打率.125… 試合終了13分後に足早帰宅 [冬月記者★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- 【芸能】永野芽郁「あなたより大きなスクープとってみせます」 阿部寛「やれるもんならやってみろ!」 ドラマのセリフが大ブーメランに [冬月記者★]
- 【栃木】東北自動車道上り線の逆走車による多重事故で2人意識不明 那須ICから黒磯板室ICの間 ほかにけが人複数 [シャチ★]
- 【サッカー】三笘薫が2戦連発!89分に今季プレミア9点目!ブライトンは超劇的勝利!ウェストハムを3−2撃破で公式戦7試合ぶりの歓喜 [久太郎★]
- みんなでおにまいのまひろちゃんを描くスレ
- ▶シオンたんお別れ会
- ジャップって完全にグローバルからはみ出した変人の国だよな [271912485]
- 漫画家の双龍さん、万博コスプレにブチギレ。お前らの想像の4倍ブチギレてる [485187932]
- 大阪万博の空飛ぶクルマ、デモ飛行中にプロペラ部品が外れるwwwwwwwwwwwwww🤣 [931948549]
- DCが安価でトッモにLINE