自然数的皮亚诺公理系統
給定公理系統如下:
0是一个自然数;
0不是任何其他自然数的继数;
每一个自然数a都有一个继数;
如果a与b的继数相等则a与b亦相等;
若一个由自然数组成的集合s包含有0,又若当s包含有某一数a时,它一定也含有a的继数,则s就含有全体自然数。
这一組公理系统,稱為“皮亞諾公理”,标志着当时的数学分析算术化的终结。
皮亞諾是什么人?他對數學的貢獻就是这组公理吗?非也。
袁萌
給定公理系統如下:
这一組公理系统,稱為“皮亞諾公理”,标志着当时的数学分析算术化的终结。
皮亞諾是什么人?他對數學的貢獻就是这组公理吗?非也。
袁萌
