>>381
>>Terence Tao “big picture”(下記)を軽視しているw
>big picture なるものを持ち出しても間違いである V⊂Vκ が正しくなることは無い 残念!
ふっ
上記のTerence Tao “big picture”は
君の理解のために書いただけw(^^
1)到達不能基数κは ZFC公理系で証明できる如何なる基数λより大(2^λよりも大)
2)そして ステージVκは、κより小のZFCで証明できる基数λのステージVλたちの集合和を含む(もちろん順序数についても同じ)
即ち Vκ ⊃ ∪λ Vλ
そして ステージVκは 集合である(ZFCとは公理系が異なる)
一方、ノイマン宇宙Vもまた ZFCで証明できる基数λのステージVλたちの集合和を含む(もちろん順序数についても同じ)
(ZFCでは ノイマン宇宙Vは 集合にはできない)
これが Terence Tao“big picture”
細かい話は Akihiro Kanamoriや薄葉その他にある
それを読め
到達不能基数・巨大基数研究
387現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/10/25(日) 19:07:41.73ID:xwDXnpIiレスを投稿する
ニュース
- 共和党大敗にバンス副大統領「敗北の理由は戦争だ」…トランプ氏との対立招く可能性も [蚤の市★]
- トランプ氏の中朝ロ接近警戒 高市首相、早期会談を模索 [蚤の市★]
- 【株価】東証寄り付き 日経平均は反発で始まる 上げ幅一時400円超 米政治巡る警戒 [蚤の市★]
- 【♨】「サウナで汗かいたまま水風呂」「股間にドライヤー…」スーパー銭湯の《NG行為》に怒りの声続出 [nita★]
- 日本の書道、ユネスコ無形遺産へ 筆や墨を用いた手書き表現 [蚤の市★]
- 【TBS】VIVANTの拷問シーンが中国で批判→サンリオとのコラボが中止「ストーリーを把握していなかった」同社が明かした背景事情 [Ailuropoda melanoleuca★]
- 【悲報】ぼく、『ピアノが置ける2LDK防音賃貸マンション(ペット飼育可)』が全然無くて泣く [315293707]
- トランプ圧勝を予想したSBIの北尾CEO「ずうっとX見てる🩷」→ただのヤバい陰謀エコチャン爺とバレてしまい終わる… [668024367]
- 約半額セール? 狙うは15万円超オフのThinkPad、レノボのブラックフライデー先行セール開催中 急げ!! [737440712]
- 🌴🥺ぷゆゆの無人島生活🥺🥥
- 1000億円トランプに突っ込んだマスクさん、急に全投稿削除して逃亡準備へww [709039863]
- 【📦】Amazon、物価高に全力で抗う「スマイル Sale」が2日目突入!!!