皮亚诺公理：
1.0是一个自然数；
2.若n是自然数，则n++也是自然数；
3.0不是任何自然数的后继，即对于每个自然数n，都有n++≠0；
4.不同的自然数必有不同的后继者；
5.设P（n）关于是自然数的一个性质，假设P（0）是真的，并假设只要P（n）都是真的，则P（n++）也是真的，那么对于每个自然数n，P（n）都是真的。
一切自然数都是有限的。
43.陶哲轩《实分析》笔记
猜你喜欢
转载自blog.csdn.net/weixin_44737922/article/details/105351366
今日推荐
周排行