>>358
>κは最小の到達不可能基数とした場合
>Vκ|=「到達不可能基数は存在しない」
>わかってしまえば小学生レベルの話だな

ふっ
いまごろかｗ（＾＾
要するに 天下りで 到達不可能基数κを与える ZFC外の公理としてね
そして
　>>323 再録
・>>319 " [EXPONENTIAL POWER SET TOWER] V_(α+1) = 𝒫(V_α)"
　このαは、ZFC内の基数で ω(＝ℵ0＝N) から集合冪を繰返してできる
　ステージ V_(α+1)を表している
　（いま仮に αを証明可能基数と名付ける）
・到達不能基数：λ<κ→2^λ<κ （下記）で
　いま、κ：ZFCでは証明できない（αではない）
　を認めるとする
　下記のように ZFC内に 上記 ZFC内の基数αとその冪が超限列*並んでいる(*無限列の意だが 混乱を避けるため超限列と表現する)
　・・<α<α^2<・・
　κは、この列のどこにも入れない（∵ZFCの証明不可だから αでもα^2でもない。α<κ<α^2 は定義に反する）
　ゆえに、κは、この列の上（列の下は正則性公理により否定される）
補足
・ノイマン宇宙Vは、あくまで ZFCの宇宙で 列 ・・<α<α^2<・・ 内の基数の列内に 順序数を埋め込んで ステージVαたちを集めたものだ
（なお ZFC内では ノイマン宇宙Vは真クラス）
・到達不能基数κは、ZFCの宇宙の 外に基数κを公理として置く
　κは基数で、即ち集合という設定で
　Vκは、ノイマン宇宙の流儀を借用して κ未満の基数や順序数を 全て集めたもの
　当然 Vκ内には ノイマン宇宙V内の全てのステージを含む
　かつ κは基数で集合だから Vκも集合という定義になる
（ノイマン宇宙Vの真クラスを回避し ノイマン宇宙Vを全て包含する集合がVκという設定）
PS
これが、巨大基数の集合論であって グロタンディク宇宙Uも こちらの話
(引用終り)

κは、ZFC内の任意の基数αより大という設定（公理より）
Vκは、κ未満のZFC内の任意の順序数たちのステージVαなど全てを集めたという設定（ノイマン宇宙Vの設定を受け継ぐ）
故に、ノイマン宇宙内のステージVαなど全て含む（κ自身は含まない）
ZFC内では、ノイマン宇宙Vは真クラスだが
ZFC＋κ内では、Vκは集合（到達不能基数公理はそのための公理よ）

Terence Tao “big picture”の境地に達していない人たち
下記を百回音読してねｗ

(参考)
＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao