1.零是一个数字。
2.如果
是一个数字，是
是一个数字。
三。零不是数字的后继。
4.继承人相等的两个数字本身相等。
5. (归纳公理.）如果一组
个数字中包含零而且中每个数字的后继
，那么每个数字都在
.
皮亚诺的公理是数理论称为皮亚诺算术.
另请参见
归纳公理,皮亚诺算术
与Wolfram一起探索| Alpha
工具书类
沃尔夫拉姆，S。一种新的科学。伊利诺伊州香槟市：Wolfram Media，p1152,2002参考Wolfram | Alpha
皮亚诺公理
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。《皮亚诺公理》摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/PeanosAxioms.html
主题分类
