展开 数学自然数的定义是什么