>この宇宙は数学的に把握不可能であり、それゆえ、そこに帰属させうるいかなる性質も、十分大きな $V_\alpha$ においてすでに成立していなければならない。
>実際、そうした性質の中には、巨大基数公理へと直接つながるものもある。
Vに帰属させる「Vの中のある集合はZFCのモデルである」という性質は、十分大きなVκにおいてすでに成立していなければならない。
この性質こそ巨大基数公理へと直接つながるものである。なぜなら巨大基数κの存在を仮定しなければVκはZFCのモデル足りえないからである。
⇒つまり Vκ∈V であり、Vは推移的クラスだから Vκ⊂V である。