>>419
>>実際 >>411 ”U = V_κ (see von Neumann hierarchy)”は 独語文献で見つけた
>κが強到達不能基数のときVκはグロタン宇宙。誰もそうでないと言ってない。
>なにが「実際」なの？　頭だいじょうぶ？

だから、グロタン宇宙U = V_κ は、ノイマン宇宙Vの非保存拡大で
つまり どちらの宇宙も

空集合φから 順に 0,1,2,・・と有限自然数を作って
可算無限集合ω＝N を作って
冪2^Nから実数Rを作って・・と
やって 順序数ONを作って、極限基数α、2^α、2^2^α・・・
も作って
ステージVαも作ります

それを集めます V=∪α Vα （注：基数以外の順序数もあるが 簡便に書く）
を考えることができます
考えることはできるがZFCでは V=∪α Vα は集合ではありません！
ZFCではクラスです。V=∪α Vαを集合とする公理がないからです

そこで、裏技の到達不能基数κの出番です
∀α ＜ κ という設定です （∀ 2^α ＜ κ でもある）

κは 基数だから Vκはκ未満の基数のVαたちの和を含む
つまり Vκ⊂ ∪α Vα
つまり ZFCではクラスである ∪α Vα を含む 集合Vκが出来ました！
そのための 裏技の到達不能基数κだってことですｗ（＾＾