皮亚诺公理第五条是怎么排除自然数中不应该存在的数的(如0.5等)?

皮亚诺公理第五条是怎么排除自然数中不应该存在的数的(如0.5等)?

第五条其实就是数学归纳法呀

Peano5

设S是自然数集N的子集

如果0属于S且

x属于S能推出x的后继属于S

那么S就是自然数集N

如果N含有0,1,2,3,...以外的东西

那么我们把这些额外元素去掉得到它的一个子集S

可以看到S=0,1,2,3,...

已经满足公理5了

那么前一步就不该去掉任何元素

再换句话说,满足前四条公理的集合有很多,但自然数集是其中最小的一个,公理5就是规定了这个最小