小智，问问你爹知道数论的“皮亚诺公理”吗

皮亚诺公理

 

利用皮亚诺公理可以对正整数及N*进行如下描述:

任何一个满足下列条件的非空集合叫做正整数集合，记作N*。如果

Ⅰ 1是正整数；

Ⅱ 每一个确定的正整数a，都有一个确定的后继数a' ，a'也是正整数（数a的后继数a‘就是紧接在这个数后面的整数（a+1）。例如，1‘=2，2’=3等等。）；

Ⅲ 如果b、c都是正整数a的后继数，那么b = c；

Ⅳ 1不是任何正整数的后继数；

Ⅴ 设S⊆N*，且满足2个条件（i）1∈S；（ii）如果n∈S，那么n'∈S。那么S是全体正整数的集合，即S=N*。(这条公理也叫归纳公理，保证了数学归纳法的正确性)

皮亚诺公理对N*进行了刻画和约定，由它们可以推出关于正整数的各种性质。 [3]