数学的に、
「ある数が自然数かどうか」
って、どう定義されているのでしょうか?

参考URL
http://pc11.2ch.net/test/read.cgi/php/1233479457/552-