>>535

田中一之・鈴木登志雄著『数学のロジックと集合論』に理由が書いてありました。

「1 を自然数回足した結果の実数を自然数という」

という定義は、循環論法になってしまうためダメなんですね。