>>113
>Qの全ての要素を整列させること
>それには、選択公理と等価な整列可能定理が必要に見えるなｗ（＾＾
はい、大間違いです。
Qは可算だから定義により全単射 f:N→Q が存在。
Q上の全順序<を ∀p∈Q.∀q∈Q:(p<q ⇔ f^(-1)(p)<f^(-1)(q)) で定義すれば<は整列順序。実際任意の部分集合 P⊂Q は<に関する最小元 f(min(f^(-1)(P)))∈P を持つ。
君、数学のすの字も分かってないね。