读者须知

如您继续阅读，则视为您已同意以下内容：

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