>>321
>（The Absolute Universe (V)）

(ですね)人か
言い質問ですね by 池上さん （＾＾

１）この The Absolute Universe (V) は、下記 Large cardinal hierarchyの図の頂点
　即ち 0＝1 （V_0＝1）のことだ
２）少し説明すると
・>>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も こちらの話

(参考)
https://en.wikipedia.org/wiki/Large_cardinal
Large cardinal
https://en.wikipedia.org/wiki/Large_cardinal#/media/File:Large_Cardinals.jpg
Large cardinal hierarchy, ordered from bottom to top in terms of strength.

https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
強到達不能基数 (strongly inaccessible) または単に到達不能基数 (inaccessible) であるとは、κ 未満の任意の基数 λ に対し、2^λ<κ を満たす正則基数であることを言う[1]