>常に
>α<β→VBα⊂VBβ
>が言えて
言えなくても、任意の順序数αに対しVBαが集合なら

>VB=∪VBα
>の存在が保証できる
が言える。

どうしても間違いを認められないバカに付ける薬無し