>>431
＞話は真逆だよ
＞選択公理は、整列定理から次のように証明できる。

整列定理をどの公理系で証明するつもりだろう・・・

それはさておき

「全ての集合は整列順序を持つ」という「整列公理」を前提するなら、「選択定理」は即座に証明できる
例えば、Ｓが整列順序を持つなら、Ｓの空でない部分集合は必ず最小元を持つから、そいつを選択すればいい（笑）

尻尾同値類の代表の選択も整列順序を使えばいい
ああ、簡単（笑）