>>172
つまり、自然数は有限個ということですか?