Appearance
概述
皮亚诺公理(自然数公理)定义了一种形如「单向链表」的数数(shǔ shù)方法。
为了在公理系统中严谨地使用「自然数」,数学家朱塞佩·皮亚诺(Giuseppe Peano)提出了五条公理。
公理一
自然数的起点诞生了。
公理二
任何自然数都有一个后继(
自然数的雏形有了,大概长这样:
但也有可能长这样:
还可能长这样:
公理三
公理三直接排除了如下情况:
同时也说明了
公理四
任取两个自然数
公理四排除了如下情况:
自然数完美了吗?——并没有。还有一种情况:
这种情况同时满足公理一到四。
公理五
对于命题形式
公理五其实就是「数学归纳法」。
举个例子,对于命题形式
这样就得到了一个完美的自然数系统。
看似完美的皮亚诺公理,其实潜藏着一个数学危机。德国数学家哥德尔首先发现了这个危机,并进一步提出了哥德尔不完备性定理。