>>657
>どうやれば、実数R全体が二項関係>に関して全順序になるって示せるんだ?
>(整列可能定理も知らないのかもな)

実数Rは、通常の大小関係>では整列順序でないけど
その証拠に任意のr∈Rについて、rの後者、すなわち
「rより大きい最小のs∈R」なんて存在しないけど

全順序と整列順序の違い、わかってない?
整列順序なら、全順序であるだけでなく
「任意の元について後者が存在する」
という条件を満たすよ
(いかなる部分集合にも最小元が存在すれば「」内の性質を満たす 
 逆は・・・頑張って証明してみてくれ)