皮亚诺公理

基于序数

1. 0 是 自然数；
2. 每一个确定的自然数 a，都有一个确定的后继数 a’ ，a’ 也是自然数；
3. 对于每个自然数 b、c，b=c 当且仅当 b 的后继数=c 的后继数；
4. 0 不是任何自然数的后继数；
5. 任意关于自然数的命题，如果证明：它对自然数 0 是真的，且假定它对自然数 a 为真时，可以证明对 a’ 也真。那么，命题对所有自然数都真

https://zh.wikipedia.org/wiki/%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86