展开 自然数的两个基本属性