展开 自然数的定义及基本性质