自然数到底是否