展开 自然数的定义有哪些