>>332
>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数
>・Voは、到達不能基数を全く含まない 通常基数の宇宙

Vo(oは順序数)は正確にはZFCの宇宙ではなく累積的階層ね

で、kが到達不可能基数の場合　VkはZFCの宇宙

さらにkが到達不可能基数でも、k+1はそうではないよ

到達不可能基数は正則な極限基数だから