彼の人は冪だけでVαは作られると考えてるけれど
正しくは極限順序数の時は合併なんだよな
強到達不能基数κは当然ながら極限順序数なので
α<κ（つまりα∈κ）であるαについてのVαの合併がVκ
Vω0は何の集合の冪でもない
α<ω0であるα（つまり自然数）についてのVαの合併がVω0
非可算という条件を省けば強到達不能基数の持つべき性質を全て持つのよね
ZFCでは強到達不能基数の存在は証明でき無いけれど
それはℵ0と2^ℵ0の間の基数の存在が証明でき無いのと同じ
その存在を言う別の公理が必要だというだけのこと