自然数定义