>>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
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】 イラン、反政府デモ隊 1万2000人が死亡 最高指導者ハメネイ師が市民の射殺指示 ★2 [お断り★]
- 高市早苗首相、ドラムで李大統領と「サプライズ共演」…BTSの「Dynamite」など演奏 [バイト歴50年★]
- 【ラブホ行きすぎ市長が圧勝】前橋市民は「不倫? それがどうしたんですか?」候補惨敗の自民党は「国政選挙は本当に大丈夫なのか…」★3 [ぐれ★]
- 【フィフィ】さらばオールド・メディア!これからは「保守」の時代よ [Anonymous★]
- 介護職の高齢者虐待が最多 24年度、1220件 家族虐待も過去最多で1万7133件 [煮卵★]
- 高知高校野球部コーチ『どう喝』問題 SNSで動画拡散するも… 保護者「コーチを辞めさせたくない」との意見多数 [煮卵★]
- 風俗で人気嬢選ぶのと写真で好みの嬢選ぶのだったらどっちがいいのか
- 末尾MくんNGにした
- ヤフーメール「 ヤ マ ト 運 輸 」
- 高市の解散がこのタイミングになった理由、「安倍総理なら今やる」と言われその気になったからだった。 [545512288]
- 【衆院選】2月8日投開票 [419054184]
- 【悲報】婚活女子「早く同性婚を認めてほしい!セックスとか子供の心配なく安心して養ってもらえる環境になってほしい」5万いいね [257926174]
