自然数的皮亚诺公理系統

給定公理系統如下：

    0是一个自然数；

    0不是任何其他自然数的继数;

    每一个自然数a都有一个继数;

    如果a与b的继数相等则a与b亦相等;

    若一个由自然数组成的集合s包含有0，又若当s包含有某一数a时，它一定也含有a的继数，则s就含有全体自然数。

这一組公理系统,稱為“皮亞諾公理”，标志着当时的数学分析算术化的终结。

皮亞諾是什么人？他對數學的貢獻就是这组公理吗？非也。

袁萌  3月24日