>>56
>VB=∪VBα
>の存在が保証できる
は、順序数全体のクラスの存在と、任意の順序数αに対して集合VBαが存在する、という条件だけでよいのでは？
つまり
>α<β→VBα⊂VBβ
>が言えて
はVBの存在保証に不要では？