>>292
>また、到達不可能基数κが存在しない、としたならば
>そのようなκは順序数の全体からなるクラスと一致し
>VκはVと等しい、とみなされるだろう
そのようなκのうち最小のものね
それをκ0と書くとすると
Vκ0はZFC+¬Uのモデル（なのでZFCのモデルでもある）
その次の到達不能基数κ1は
Vκ1がZFC+「U0：到達不能基数が1個だけ存在する」のモデル（なのでZFCのモデルでもある）
1個存在すれば存在するから
Vκ1は（あるいはそれ以降すべての到達不能基数καについてのVκαもすべて）ZFC+「U'：到達不能基数が存在する」のモデル（なのでZFCのモデルでもある）
しかしどの到達不能基数κもVκはZFC+Uのモデルにはならない
強到達不能基数の全体KはOrdの部分クラスでOrdと順序同型だから
k:Ord→Kをその順序同型だとしたとき
ZFC+U+「kには不動点が存在する」という公理系から存在が言える不動点λについてのVλがZFC+Uのモデル