到達不能基数・巨大基数研究

>>65
>従って V⊂Vκ
>The class V is defined to be the union of all the V-stages:
>V:=⋃α Vα
つまり、VκはV-stagesではないと？