TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【理3悲報】 高専>理3
サイコロはどの目も出る確率が6分の1←根拠は?
統計学Part17
もし、体育教師が数学の授業をやったら?
志村逝く
Inter-universal geometry と ABC予想 29
最古の未解決問題が解決されたのか
ブルバキ数学原論 専門スレ
大学学部レベル質問スレ 13単位目
Inter-universal geometry と ABC予想 30
176 :
>>175 追加
(抜粋)
・V=WF
ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 」
とあるから、「正則性の公理に反しています」は、ムリゲーじゃない?
特に、”超限回繰り返して”って書かれているからね
(引用終り)

まず
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
(抜粋)
集合論において標準的となっている自然数の構成は以下の通りである。
・空集合を 0 と定義する。
 0:=Φ ={}
・任意の集合 a の後者は a と {a} の合併集合として定義される。
suc(a):=a∪{a}
・0 を含み後者関数について閉じている集合のひとつを M とする。
・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。
[3]^ (von Neumann 1923)
(引用終り)

さて、ここで
0 :=Φ
1 := suc(0) = {0} = {Φ}
2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}(→は、一番右のΦを残すように不要の{}とΦを除く操作)
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}(同上)

というように
ノイマン構成の集合に対応して
→:(→は、一番右のΦを残すように不要の{}とΦを除く操作)
という集合操作を行うと、Zermeloのシングルトンが生成されるのです

フォン・ノイマン宇宙に存在する、超限回繰り返しよるω=Nに対しては
→:(→は、一番右のΦを残すように不要の{}とΦを除く操作)
という集合操作、それは”超限回”の操作に属するだろうが
それを認めれば、ノイマン構成の集合からZermelo構成の集合が導かれるのです(^^;
(勿論、極限として理解する方が分り易いのですが)

ソ連の数学者
【大学院へ】 30過ぎて、数学の道へ その2
現代数学など社会ではなんの役に立たない
数学者 VS 東ロボ(ロボットは東大に入れるか)
現代数学の系譜11 ガロア理論を読む33
¶ 放送大学の数学科目 6講目 §
森毅 先生が好きな人 手あげて^^
関数解析
理論計算機数学のスレ
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
--------------------
シャイニー☆あいな☆イリュージョンドロップキック声優スレ
■■キャンドルライトリフレクションズが復活■■
【殺しの認証】Googleで瑞宝章を検索すると…!ネットで問われる「勲章」の意義
【韓国】 中国へのマスク支援に不満も  「また日本のまね」  「韓国国民には?」 [01/29]
岡井千聖応援スレ Part267
イナズマイレブン オリオンの刻印 95試合目
【コテハン禁止】TOEIC L&R公開模試各回統一スレ327
 韓国人が油をまき散らしていたニダ!
ジェンヌの男性関係 Part.4
☆先者雑談☆初心者大歓迎☆
【安倍首相】11万人避難指示の夜に「赤坂自民亭」適切だったか検証 ★9
ドライブレコーダー映像に意見する 危険運転(ワッチョイ有り)2件
(凸) GM系MS総合スレ 55 (凸)
【mobage】アイドルマスターシンデレラガールズ26124人目
家を建てる予定の人が集まるスレ 99軒目
ずっと真夜中でいいのに☆4
文房具板専用・忍法帖 !ninjaテストスレ
☆悪夢の安倍政権連呼すれ★
スピリチュア
vipで踊りたいんです 6巡回目
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼