
第五条其实就是数学归纳法呀
Peano5
设S是自然数集N的子集
如果0属于S且
x属于S能推出x的后继属于S
那么S就是自然数集N
如果N含有0,1,2,3,...以外的东西
那么我们把这些额外元素去掉得到它的一个子集S
可以看到S=0,1,2,3,...
已经满足公理5了
那么前一步就不该去掉任何元素
再换句话说,满足前四条公理的集合有很多,但自然数集是其中最小的一个,公理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就是规定了这个最小