「実閉体の理論は算術を含まない」というのは
実閉体の理論の中で自然数を定義できない
ということ

ついでにいうと、実閉体の定義は、カントールやデデキントの実数体の定義と異なる
リンクと引用は、コピペマニアにお任せしよう