＞有理数の順序とか実数体とか複素数体とか
＞完全な体系はいくらでもある

実閉体じゃなかったっけ
あれを実数体の理論って言っちゃまずいんじゃないかなあ