如何证明自然数的存在?