>>583
> 任意集合Aが、必ず濃度を持つということが言えれば
　それ論点先取
　集合が濃度を持つ、というために整列定理を使ってるので
　sup{α∣aα is defined}が存在しなければ集合ではない、というのは
　整列定理と無関係に順序数の全体が順序数でない、ということから言えるだろ
　集合の全体が集合でない、というのが整列定理を用いずにいえるのと同じく