TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
♂♂♂♂♂♂♂♂♂♂♂ 生物実験 １３
数学の本 第87巻
耳栓をしたら世界が変わってワロタ
ルベーグ積分や測度論のスレ その2
現代数学の系譜 古典ガロア理論を読む39
朝日生命
数学 統計に詳しい人が語るコロナウイルス
≒≒≒≒≒≒≒≒≒ 数学アカデミー
【万年】黒木玄を語ろう【助教】 その2
指数定理
- 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内で成立します）
つづく
数学板AA保存庫★3
数学を初めとした理系の学問と哲学について
代数学総合スレッド Part6
（・∀・）ﾔｺﾋﾞﾔｰﾝ! ２
面白い問題おしえて〜な 26問目
【未解決問題】奇数の完全数が存在しないことの証明6
SNS死神ムラカミ
遂に解かれた！AX+BY=CZ
フェルマーの最終定理の簡単な証明5
多重集合と負の存在
--------------------
【速報】小池都知事「五輪後に東京で『オリンピックセレブレーションマラソン』を開催します！」 トンキン大逆転へ😀 [875850925]
【東京医科大】女子受験生を一律減点…関係者「いわば必要悪」 「女３人で男１人分」★14
【広島】飲食店の女性店員への暴行で逮捕された埼玉・幸手市の市長「支払いの際、数万円を請求された」と供述
【リアル女】二次元女性を愛でるスレ【不要】
SKE最強おっぱい平松可奈子の新乳画像キター
からかい上手の高木さん part29
屁山便三とスカトロマニアスレ 旧TOSHIスレ
【バーチャルYouTuber】.LIVEアイドル部アンチスレ#11820【アップランド】
そうりゅう型潜水艦「とうりゅう」進水 ディーゼル潜水艦では世界最大級
−−− 証言 1.4 橋本真也vs小川直也 第3戦−−−
ツイキャス生放送実況 part4551
【お肉】産後の体型 20ヶ月目【ぷよぷよ】 [無断転載禁止]©3ch.net
エフェクターボードを組むから実況指定クオ
初心者って叙述トリック大好きだよな（笑）
Fable2 フェイブル2攻略スレ part5
Rが超くせえ
マーチャオってどうよ？5
【PS4/XB1】The Division2/ディビジョン2 DC119日目
医者の皆、年収どれくらいなの？ Part2
【憑依を証明】もくじきびとの浄霊【名古屋市】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
