>>494
ZFC+(V=L)なら整列可能だけど、V=Lでなければならない理由はないね