>>479
＞　「それぞれの箱に入れるボールの数を具体的に決めます」と言うには

それに自然数論が必要かどうかわからないが、論理学の構成にそのような議論がでてくるわけではないだろうから
どうでもいいのではなかろうか。