>>429
>>V内は ZFCから証明できる集合
>は君の妄想であって根拠は皆無ってことかい?
>その妄想症治さない限り君に数学は無理だよ
ふっ
下記 フォン・ノイマン宇宙を百回音読してねw
特に
”第二に、V の要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合が V に属する。”
な(^^
(参考)
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
V とは、遺伝的(英語版)整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)は、その集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される[1]。特に、空集合の階数は
0で、順序数はそれ自身と等しい階数をもつ。
V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。
Vと集合論
ω を自然数全体の集合とすると、Vω は遺伝的有限集合全体の集合であり、無限公理を持たない集合論モデルである。Vω+ω はordinary mathematicsの宇宙であり、ツェルメロ集合論のモデルである。
κ が到達不能基数ならば、VκはZFCのモデルである。そして、Vκ+1はモース-ケリー集合論のモデルである。
V は二つの理由によって、“全ての集合による集合” とは異なるものである。
第一に、これは集合ではない。各階層Vα がそれぞれ集合でも、その和である V は真のクラスであるからだ。
第二に、V の要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合が V に属する。
https://en.wikipedia.org/wiki/Von_Neumann_universe
Von Neumann universe
Applications and interpretations
Often, V is defined as the universe, and then the formula V = ⋃αVα means "the universe of ZF sets is equal to the cumulative hierarchy"—not a definition, but a theorem equivalent to the axiom of regularity.[2][3] Roitman states (without references) that the realization of this equivalence is due to von Neumann.[4]
到達不能基数・巨大基数研究
430現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/10/26(月) 07:20:04.91ID:Rp3+0AXeレスを投稿する
ニュース
- 共和党大敗にバンス副大統領「敗北の理由は戦争だ」…トランプ氏との対立招く可能性も [蚤の市★]
- トランプ氏の中朝ロ接近警戒 高市首相、早期会談を模索 [蚤の市★]
- 【株価】東証寄り付き 日経平均は反発で始まる 上げ幅一時400円超 米政治巡る警戒 [蚤の市★]
- 【♨】「サウナで汗かいたまま水風呂」「股間にドライヤー…」スーパー銭湯の《NG行為》に怒りの声続出 [nita★]
- 日本の書道、ユネスコ無形遺産へ 筆や墨を用いた手書き表現 [蚤の市★]
- 【TBS】VIVANTの拷問シーンが中国で批判→サンリオとのコラボが中止「ストーリーを把握していなかった」同社が明かした背景事情 [Ailuropoda melanoleuca★]
- 【悲報】ぼく、『ピアノが置ける2LDK防音賃貸マンション(ペット飼育可)』が全然無くて泣く [315293707]
- トランプ圧勝を予想したSBIの北尾CEO「ずうっとX見てる🩷」→ただのヤバい陰謀エコチャン爺とバレてしまい終わる… [668024367]
- 約半額セール? 狙うは15万円超オフのThinkPad、レノボのブラックフライデー先行セール開催中 急げ!! [737440712]
- 🌴🥺ぷゆゆの無人島生活🥺🥥
- 1000億円トランプに突っ込んだマスクさん、急に全投稿削除して逃亡準備へww [709039863]
- 【📦】Amazon、物価高に全力で抗う「スマイル Sale」が2日目突入!!!