そんで結局 >>781 は正しいの？正しくないの？ それとも分からないから答えずに話をすり替えてるの？
今時使うかどうかとか関係ないでしょ？ 自然数と言うかどうかとかそれこそ定義次第だし。
証明可能か反証可能かのいずれかになるのであれば数学の問題として成り立ってるじゃん。