>>675
＞VκはZFCのモデル
＞Vκ+1はモース-ケリー集合論のモデル

なんでそうなるか知ってる？

クラス（集合の集まりで、集合とは限らないもの）を扱うからだよ

つまりＶκ+1の要素で、Ｖκの要素でないものが、集合でないクラス

Ｖω+1の要素で、Ｖωの要素でないものは、
遺伝的有限集合を要素とするがそれ自身は遺伝的有限集合ではない集まり
これが有限集合論におけるクラスになる

ZFCではただの無限集合だけどな
ちなみにωはVωではなくVω+1の要素であり、
有限集合論における順序数（つまり自然数）の全体だからクラス
ただし、ZFCではただの無限集合