15/04/19 09:24:45.56 Fta5hZD3.net
>>161-162
どうも。スレ主です。
みなさんレベルが高いですね
・確かに、Rの体自己同型はZやQを動かしてはならないという禁止要請がある
・しかし、それ以外の元を動かすことは、禁止事項ではない
・なお、>>153の証明は、φ(s) > s として、（φ(s) + s）/2 < a < sなる有理数aを取ったときに、矛盾が出ると
・QとRの順序構造とQの稠密性から （ φ(c) = φ(s) － a < 0 が導かれた段階で、φ(s) > s > a だから、c = b^2 は不要だったね。他の証明法もありそうだが・・）