>>51
つづき
(参考)
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Definition
Finite and low cardinality stages of the hierarchy
The set Vω has the same cardinality as ω.
The set Vω+1 has the same cardinality as the set of real numbers.
The existential status of V
Since the class V may be considered to be the arena for most of mathematics, it is important to establish that it "exists" in some sense. Since existence is a difficult concept, one typically replaces the existence question with the consistency question, that is, whether the concept is free of contradictions. A major obstacle is posed by Godel's incompleteness theorems, which effectively imply the impossibility of proving the consistency of ZF set theory in ZF set theory itself, provided that it is in fact consistent.[12]
The integrity of the von Neumann universe depends fundamentally on the integrity of the ordinal numbers, which act as the rank parameter in the construction, and the integrity of transfinite induction, by which both the ordinal numbers and the von Neumann universe are constructed. The integrity of the ordinal number construction may be said to rest upon von Neumann's 1923 and 1928 papers.[13] The integrity of the construction of V by transfinite induction may be said to have then been established in Zermelo's 1930 paper.[7]
(引用終り)
以上
Inter-universal geometry と ABC予想 (応援スレ) 64
■ このスレッドは過去ログ倉庫に格納されています
2022/01/11(火) 07:07:52.99ID:o9j+rHO1
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- フランスのスーパー数百店舗で冷蔵設備にサイバー攻撃 温度が最高50度に上昇し食品大量廃棄に [少考さん★]
- 【野球】ドジャース痛恨 2戦連続逆転負け2連敗 山本由伸が今季最短3回途中KO 大谷翔平は無安打 110打席ノーアーチ… [阿弥陀ヶ峰★]
- 絶対こうなるってわかってたでしょ! 「生活道路30キロ制限」珍騒曲!! [夜のけいちゃん★]
- 国連憲章の「旧敵国条項」巡り中国・ロシア・北朝鮮が連動して日本批判、政府は警戒…対外発信強化で対抗 [ぐれ★]
- 「別れを切り出すのは7~8割が女性」“熟年離婚”の割合が過去最高に 修復のステップを踏まずに離婚するケースが増加 [煮卵★]
- 【ひろゆき】だんじり祭りの死亡事故に私見「その人の決めた人生だと思う」「第三者が勝手な価値観で制限するのに反対なおいらです」★4 [Ailuropoda melanoleuca★]
- トランプ大帝「ウクライナよ聞け、石油施設攻撃続けるなら武器販売も情報提供も停止する」 [633746646]
- 【朗報】中国、そこらへんにある電柱でスマホの充電が出来る、しかもほぼ無料 [685821185]
- 【朗報】ノーベル賞遺伝学者「黒人は知能が劣っている、これは事実だ」→学会追放へ [339035499]
- トランプ大王とゼレンスキー大統領のAI 風刺動画 [633746646]
- すべてがかんぜんにかんぜんなしょくじ【高市早苗】 [793051416]
- 【悲報】夫さん「妊娠中の妻にカレーを作ろうとしたら怒られました。これって僕が悪いの?」→大激論にwwwwwwwwwwwwwwwww [839150984]