>>652
自然数については、
そうではなくて寧ろ、本来自然数が持っているはずの
性質でも、ペアノ算術＋一階述語論理の公理系から
導けないような種類の性質が存在する、と考える方が
普通だと思うけど。

実際、排中律が正しいならグッドスタインの定理と
その否定のどちらかは正しい事になるけど、
否定が成り立っていると考えるべき理由はないよね