>>230
>Since Ord⊂L⊆V
Ord⊂L だからLはすべての順序数を持つ。任意の基数は順序数だから必然すべての基数も持つ。
>>222
>LはVの内部モデルだからLも任意の基数を持つ。（但し、基数によってはL内ではその定義を満たせなくなる。その意味で「存在しない」と言うこともある。）
の通りだろ？