>>731
>rank(A×B)=max(rank(A),rank(B))+3かな？
それは言えないと思う。
>>727が成立するのは
>集合Aのランクがα+1の時を考える
の場合。つまり後続順序数でない場合は途中計算に極限順序数のV階層が絡む。