如何证明一个数是自然数（如何证明一个数是自然数呢）