モデル内に到達不能基数が全部なくてもいいでしょう
そのモデル内のすべての順序数について
それより大きな到達不能基数が必ずそのモデル内にあればいい
U::=∀α∈Ord.∃β∈Ord:β∈K
だから
VκがUのモデルであるためには
∀α:∈Ord∩Vκ.∃β∈Ord∩Vκ:β∈K∩Vκ
が成立すればいいわけで