>>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を超えると表示できなくなるよ。
ニュース
- フジテレビ第三者委員会報告に記載「タレントU」 各局は実名を把握・共有で「使う局ナシ」★2 [Ailuropoda melanoleuca★]
- ジャンポケ斉藤、修行先の洋菓子工場で洩らした「妻子との別居」、示談金が高すぎて払えないと泣いていた [ネギうどん★]
- 【宗教】日本、仏教国で仏教離れ最多 信者の4割、現在「無宗教」 米研究所調査 ★6 [樽悶★]
- 「『今じゃねえ』って怒られちゃって」ゆきぽよが浴びた“二郎系ラーメン”の洗礼「それから1回も行けていない」 [ネギうどん★]
- あぼーん
- ADHDの大人の「中身が散らかったバッグ」に共通していること…「荷物が多い」のに必要なものが見つからない「原因」(南 和行氏) [少考さん★]
- 【DAZN】フォーミュラGP【F1 F2F3 SF P】Lap1652
- 【フジテレビ】2025 FORMULA 1【NEXT】Lap69
- ☆・:.,;*。ベガルタ仙台実況。.:*:・゜☆
- 阪神競馬2回3日目
- 中山競馬3回3日目
- やくせん
- トランプ関税に対する著名人からのコメント「俺なら抗議の辞任する」「トランプはガイジ」 [918057362]
- 【実況】博衣こよりのえちえちクロノトリガー🧪★3
- 【悲報】万博、楽しそう [834922174]
- 【先着っ!】Ave Mujicaで一つ屋根の下で愛し合いたい女の子っ!!!!!!!!!!!!!!!!!!!
- 奥さん「"お前呼び"する男には、お前と呼びし返すけど良いの?」 [127859383]
- タレントU氏、「映す価値なし」…フジテレビ報告書があまりにも酷すぎて、各局でU氏復帰は見合わせに [779857986]