>>575
>あなたの問題意識
>「我々が普通に考えられる自然数しか含まれていない事を示してほしい」
>は悪いけどまったくトンチンカンです。

トンチンカンとはいえないけど、「」は結果としてはできない

任意の自然数ｎに対して　ｎ＜ωとなる自然数ωが存在する、という論理式を追加する

ｎ＜ωは、任意の有限個の自然数の存在と両立する　
つまり自然数論の任意有限個の前提式を満たすモデルが存在する

そして一階述語論理ではコンパクト性定理が成立するので、
上記のωの存在を追加した自然数論のモデルが存在する

つまり、普通に考えられる自然数以外の非常識自然数が存在してもOK！

これ、ボクが言い出したことじゃないので
ボクに文句を言われてもどうしようもないです（笑）