自然数通常有两个作用：可以被用来计数（如“有3个苹果”）,也可用于排序（如“这是国内 第3大城市”）....数学归纳公设）有一与自然数有关的命题.设此命题对0 成立,而当 对任一自然数成立时,则对其后继亦成立,则此命题对所有自然数皆成立....