Skip to content

皮亚诺公理

2022-12-14

有人用 379 页纸证明了 1 + 1 = 2。

概述

皮亚诺公理(自然数公理)定义了一种形如「单向链表」的数数(shǔ shù)方法。

为了在公理系统中严谨地使用「自然数」,数学家朱塞佩·皮亚诺(Giuseppe Peano)提出了五条公理。

公理一

QUOTE

0 是自然数。

自然数的起点诞生了。

公理二

QUOTE

任何自然数都有一个后继(n 的后继记作 sn)。

自然数的雏形有了,大概长这样:

但也有可能长这样:

还可能长这样:

公理三

QUOTE

0 不是任何自然数的后继。

公理三直接排除了如下情况:


同时也说明了 0 必须是第一个自然数。但是还可能长成这种造型:

公理四

QUOTE

任取两个自然数 a,b,若 ab 后继相同,则 a=b,否则 ab

公理四排除了如下情况:


自然数完美了吗?——并没有。还有一种情况:

这种情况同时满足公理一到四。

公理五

QUOTE

对于命题形式 A(n),若 A(0) 成立,且 A(n) 成立可推出 A(sn) 成立,则 A 对于任意自然数都成立。

公理五其实就是「数学归纳法」。

举个例子,对于命题形式 A(n):n2n,容易证明 A(0) 成立,且 A(n)A(sn)。由于 0.5,e,π 等数不符合这个命题形式,因而如下情况被排除:

这样就得到了一个完美的自然数系统。


QUESTION

看似完美的皮亚诺公理,其实潜藏着一个数学危机。德国数学家哥德尔首先发现了这个危机,并进一步提出了哥德尔不完备性定理。