>>474
「自然数を使っている」のだから「自然数論が必要」というご意見ですか?

一つ目の箱にはボールを2個入れます。二つ目の箱にはボールを5個入れます・・・
というように、それぞれの箱にボールを何個入れるかは具体的に決められています、と言うのにも自然数論が必要?