>>676
>クラス(集合の集まりで、集合とは限らないもの)を扱うからだよ
>遺伝的有限集合を要素とするがそれ自身は遺伝的有限集合ではない集まり
>これが有限集合論におけるクラスになる
>ZFCではただの無限集合だけどな
ふっ
ちょっと議論がかみ合ってきたかい?(^^
1)フォン・ノイマン宇宙 Vは、下記な
ZFC内の順序数βや基数で定義される
V:=⋃αVα で ”defined to be the union of all the V-stages”(下記)
2)さて >>675の到達不能基数κ
基数だから ”limit ordinal”の場合に当たる
式 Vλ:=⋃ β<λ Vβ が適用される
到達不能基数κ:
ZFCでは証明できない(到達できない)基数=ZFCのあらゆる順序数より大
だから Vκ:=⋃ β<κ Vβ で β<κなる β=ZFCのあらゆる順序数を渡る
そのVβ達の和
一方 V:=⋃αVα だから V⊂Vκ(Vκは集合)■
3)これで分かること
クラスと集合の境目は、公理系に依存するということ
つまり、集合を作る力の弱い公理系では、クラスと考えられる対象が
集合を作る力の強い公理系では、クラス→集合 と考えられるってわけ
それが到達不能基数、巨大基数公理のキモだ
4)そして、ZFCが作る ノイマン宇宙Vを含む もっと大きいな宇宙を考える意味
P:もしノイマン宇宙Vが矛盾していたら→Q:ノイマン宇宙Vを含む宇宙も矛盾
対偶
¬Q:ノイマン宇宙Vを含む宇宙が無矛盾→¬P:ノイマン宇宙Vは無矛盾
到達不能基数、巨大基数公理の一つの動機がこれ(全てではない)
つまり、到達不能基数、巨大基数公理で矛盾が見つからなければ
ノイマン宇宙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によって定義され略
https://en.wikipedia.org/wiki/Von_Neumann_universe
the von Neumann universe
This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930.
Definition
・Let V0 be the empty set:
V0:=∅.
・For any ordinal number β, let Vβ+1 be the power set of Vβ:
Vβ+1:=P(Vβ).
・For any limit ordinal λ, let Vλ be the union of all the V-stages so far:
Vλ:=⋃ β<λ Vβ.
A crucial fact about this definition is that there is a single formula φ(α,x) in the language of ZFC that states "(α is an ordinal and) the set x is in Vα".
The sets Vα are called stages or ranks.
The class V is defined to be the union of all the V-stages:
V:=⋃αVα.
到達不能基数・巨大基数研究
686現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/11/06(金) 10:46:57.48ID:je4WFzYGレスを投稿する
ニュース
- 【海外/食】ピザにパイナップルを乗せることを拒否、イタリア人シェフ解雇 豪レストラン [あずささん★]
- 小6の養女と性交疑い、会社員の男を逮捕 帰宅した妻が「目撃」、警察に相談 尼崎 [煮卵★]
- 【青切符】「自転車の飲酒運転の取り締まりなど聞いたことがない」”自転車酒気帯び”で男逮捕 福岡 [煮卵★]
- 【訃報】元プロボウラーの中山律子さんが死去 84歳 女子プロ1期生 協会会長も務めるなど発展に貢献 [muffin★]
- 高市首相に「25時から出席して」と誰も言い出せなかった…政府高官が明かしたG7首脳会議欠席の内幕 [バイト歴50年★]
- ワイヤレス主流時代になぜ?「有線イヤホン」再流行のワケ [煮卵★]
- 他サポ 2026/27-89
- 柏レイソルおにぎり実況vs 川崎フロンターレ☆☆☆
- FC東京実況スレ ☆14
- 鹿島アントラーズ実況2026☆62
- 京都サンガ実況⭐︎⭐︎⭐︎
- かもめせん vs侍
- 


時のオカリナを語るスレ🏡



- 6時のおやつタイムなのら🧁🍪🍫🍮🍰(・o・🍬)🏰
- 【高市悲報】自転車、終わる。青切符半年で1万5千件 [888298477]
- 中国「壊れちゃった安倍晋三元通りに直せよ!」無茶を言い始める [389326466]
- ( ´•ω•`)明日朝9時半に京都駅集合ね
- ICC赤根智子 「トランプとプーチンの制裁にも屈しない。戦争犯罪と闘う」 → トランプ敗れる [507895468]