彼の人は
V=∪{Vα::α∈Ord}
ということを認識してないみたいだが
私も
L=∪{Lα::α∈Ord}
の
Lα+1=Def(Lα}
α=∪α（則ち極限順序数）のとき
Lα=∪{Lβ::β<α}
の
Lαのイメージが明確に掴めてない
たとえば
Vω0+1=P(Vω0)
は非可算集合だが
Lω0+1=Def(Lω0)
は可算集合
つまり相当違うもの
以下ずっと可算集合で
Lω1=∪{Lα::α<ω1}
で初めて非可算になる
あと
V=Lを公理にしなくても（仮定しなくても）
P(Lω0)=P(Vω0)⊂Lω1
らしいんだが
これがまたよく分からないし
これが言えるんなら
p(ℵ0)≦ℵ1（p(X)=|P(X)|）
は常に言えちゃうことになってなんかおかしい