>>574
>いま、基礎論の教科書を書いているとすると、
>整列可能定理の証明前に、
>任意集合Aが なんらかの濃度を持つ
>という集合の濃度の章（or 節）を、
>すでに書いているかどうか（書けるかどうか）

？
順序数の全体が集合でないことを証明しておけば
整列定理で上限がない場合
Aが順序数の全体を”部分”として含むので
Aが集合であることに矛盾するから上限がある
といえるだろ