如何证明一个数是自然数（自然数的个数是怎样的?）