TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
数学の本第77巻
\って何なんだよ……
Inter-universal geometry と ABC 予想 43
確率論とそれに近い分野のスレ
数学はもうすぐ終わる学問って本当？
アレクサンドル・グロタンディーク神
奇数の完全数の存在に関する証明が完成しました2
問題文一行の超難問を出し合うスレ
【理3悲報】 高専＞理3
作用素環論
- 33 ：
- >>24
>Ωが次の性質を持つ限りZFCと両立することはできません。
>・Fを
>x∈F⇔∃x1∋x2∋‥‥∋xn, x1=Ω, xn=x
>によって定められる集合とするときFの任意の要素はシングルトンか空集合。
>・Ωは有限Zermelo ordinal numberではない。
（前スレ>>961より）
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
<ノイマン構成>
・任意の集合 a の後者は a と {a} の合併集合として定義される。
suc (a):=a∪{a}
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
<Zermelo構成>（前スレ>>725より）
他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
(引用終り)
なので、<Zermelo構成>も<ノイマン構成>も
∈-数列
0∈1∈2∈3・・・∈n∈・・・→ω
（"→ω"の意味は、ωに向けてずっと続くってことね）
（なお、ωは、超限順序数で、いわゆる”有限”ではない）
で、「0∈1∈2∈3・・・∈n∈・・・→ω」は、<Zermelo構成>も<ノイマン構成>も全く同じ
だから、この<Zermelo構成>を否定することはできません
（∵<Zermelo構成>を否定すると、<ノイマン構成>も同様に否定されるから）
但し、
<ノイマン構成>においては、ω＝N（自然数の集合）なので
n∈ω（＝N）は、可
というか
<ノイマン構成>なら、任意のm<nで、m∈n成立
（∵<ノイマン構成>では、後者関数の定義が、それ以前の全てを要素からなる集合だから（前スレ966））
一方、<Zermelo構成>においては、もともと、任意のm<nで、m∈n不成立
（∵<Zermelo構成>では、後者関数の定義が、異なるため）
だから、もともと、”n not∈ω（=x1=Ωかな）”なのです（nは、任意の自然数）
これは、後者関数の定義の問題なのです
（なので、<Zermelo構成>もZFC内で成立します）
つづく
痴漢バレて叩かれた腹いせに荒らすのはやめろ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む50
【有効数字】9=9.0ってどうなの？【数学】
Inter-universal geometry と ABC 予想 43
なぜ本当に数学ができる奴は医学科へ行くのか
分からない問題はここに書いてね425
数学科の就職って……
フェルマーの最終定理の反例が見つかる
高校数学の質問スレPart403
山口大学理学部数理科学科
--------------------
社員「ブロリーやれ」準社員「はい・・・」
テレビ朝日アナウンサーズ 53
太陽電池で鯖稼動させたい
肴24308
【PS4/XB1】Rainbow Six Siege/ﾚｲﾝﾎﾞｰｼｯｸｽ Part428
中国の新型コロナウイルスはコウモリが感染源らしいね
ドラゴンボールの作画と演出を語るスレ20
【厚労省】中国からの入国者全員に質問票配付へ 新型肺炎で水際対策強化 ★3
サルゲッチュ総合スレッド16
子猫ライブ配信part69
go!go!vanillas part2
ｴﾝｼﾞﾝｶｰ走らせてたら近所の猫が当たって吹っ飛んだ
看護師は何故女が多いのか？男の仕事だと思うが
【日曜劇場】下町ロケット 31【阿部寛】
【FF14】バイオテロゆかりヲチスレ【育児怠慢】
SONY Xperia 8 part3
CC2松山「業界ではPSソフトを満足に遊んですらいないのは論外と判断される」
白坂奈々part10
高田憂希 Part6
【東京】 第三京浜を走ろう 【横浜】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼