>>80
実数体はアルキメデス的だから、任意の実数xに対して、ある自然数Nが存在して、x < N となる
非アルキメデス的順序体には、ある元Xであって、どんな自然数Nに対してもX < Nとならないようなものが取れる
Kを非アルキメデス順序体、X∈Kを上記の性質を満たす元とする
もし、順序体を保つ単射準同型f: K → Rがあったとすると、実数体のアルキメデス性からある自然数Nが存在してf(X) < Nとなるが、X < NとなりXのとり方に矛盾