展开 自然数的定义是什么意思