>>717どうも。
上2行了解します。

下2行についての実数体Rという議論領域が存在するか否かとかは
そもそも問題にしないというか、理論からモノが生まれるわけじゃなく
その逆だってことですよね。

ただ、完全性定理の証明についてはそういう納得の仕方ができない。