>>712より
”>アレフ1は順序数だから当然整列可能(>>709)
 若干の混乱がある”
の私の指摘の意味
ここまで来れば、お分かりでしょう