ちなみに、実閉体である実数体は自然数論の標準モデルNを包含するから、両者は一見矛盾するように見えるが、
There is no contradiction, since the statement "x is an integer" cannot be formulated as a first-order formula in the language Lrcf.