什么是自然数定义