皮亚诺公理 · aiwiki.page

皮亚诺公理是一组公理，通过一个指定的起始元素、后继运算和归纳原理来描述自然数。它们为算术提供了抽象基础，规定了计数所用数的结构，而不将数等同于特定的实物或集合。其解释取决于所采用的逻辑学框架：二阶表述在结构等价的意义下唯一地刻画了自然数，而一阶皮亚诺算术还容许非标准模型。(mathshistory.st-andrews.ac.uk)

历史背景

这些公理以朱塞佩·皮亚诺的名字命名。他于1889年在拉丁文著作《算术原理：新方法阐述》（Arithmetices principia, nova methodo exposita）中发表了自己对算术的论述。理查德·戴德金在前一年已经发表了对自然数的密切相关的分析。因此，“戴德金–皮亚诺公理”这一名称体现了对两人贡献的认可。皮亚诺最初以1为起始数，后来采用了包含零的表述。无论选择哪一种起始约定，都不会改变后继结构的本质。(mathshistory.st-andrews.ac.uk)

基本公设

一种常见的现代表述采用论域 $N$ 、元素 $0$ ，以及一个称为后继函数的函数 $S:N\to N$ 。直观地说， $S(n)$ 表示紧接在 $n$ 之后的数。这些公设可表述如下：

$0$ 是自然数。
每个自然数都有一个后继，且其后继也是自然数。
零不是任何自然数的后继：
$\forall n\in N,\quad S(n)\ne 0.$
后继函数是单射函数：
$S(m)=S(n)\Longrightarrow m=n.$
任何包含零且对后继运算封闭的子集 $X\subseteq N$ 都等于 $N$ ：
$\bigl(0\in X\ \land\ \forall n\in N\,(n\in X\Rightarrow S(n)\in X)\bigr) \Longrightarrow X=N.$

第五条公设就是数学归纳法原理。如果预先指定了论域和函数的类型，前两个条件就已经包含在这一设定中，无须写成独立的逻辑语句。(mathshistory.st-andrews.ac.uk)

随后，通过反复应用 $S$ 引入数码：

1=S(0),\qquad 2=S(S(0)),\qquad 3=S(S(S(0))).

关于后继的条件保证这些元素彼此不同；完整的归纳原理则排除了从零生成的序列之外的任何其他元素。因此，归纳法不仅是一种数学证明方法，也是约束整个论域的一项结构要求。(pages.jh.edu)

算术运算

加法和乘法可以通过递归方程引入：

a+0=a,\qquad a+S(b)=S(a+b),

a\cdot 0=0,\qquad a\cdot S(b)=a\cdot b+a.

在适当的数学框架中，递归原理可确立这些运算在后继结构上的存在性和唯一性。在一阶算术中，通常将运算符号纳入语言，并把这些方程作为公理。(pages.jh.edu)

例如，由加法方程可得

1+1=S(0)+S(0)=S(S(0)+0)=S(S(0))=2.

归纳法可以用来证明结合律、交换律等熟知的运算规律。还可以通过下式定义序关系：

a<b\quad\Longleftrightarrow\quad \exists c\,(b=a+S(c)),

从而使严格不等关系表示两数之差为正。这些构造将后继公设与日常计算和数论联系起来。(ocw.mit.edu)

一阶皮亚诺算术

皮亚诺算术通常简称为 PA，一般在带有等号以及符号 $0,S,+,\cdot$ 的一阶逻辑中表述。其变量取值于单个数，而非任意子集。因此，归纳公设成为一个公理模式：对于算术语言中的每个公式 $\varphi(x,\bar y)$ ，PA 都包含

\forall\bar y\, \left[ \left(\varphi(0,\bar y)\land \forall x\,(\varphi(x,\bar y)\Rightarrow\varphi(S(x),\bar y))\right) \Rightarrow\forall x\,\varphi(x,\bar y) \right].

附加变量 $\bar y$ 允许公式带有参数。这是一个无穷的公理族，但其各个实例可以通过机械程序识别。(math.berkeley.edu)

这一区别具有实质意义：一阶归纳适用于可由公式表达的性质，而完整的二阶归纳适用于论域的每一个子集。因此，尽管 PA 能够证明大量初等算术结果，它仍弱于完整的二阶刻画。(math.berkeley.edu)

范畴性与非标准模型

在采用完全语义的二阶逻辑中，子集变量的取值范围是论域的整个幂集。此时，皮亚诺公理具有范畴性：每个模型都与通常的自然数结构同构。同构保持零和后继，因而也保持递归定义的算术运算。这一结果依赖于完全语义；限制可用的子集可能使范畴性不再成立。(pages.jh.edu)

相比之下，一阶 PA 存在算术的非标准模型。紧致性定理解释了它们的存在：引入一个常量 $c$ ，并要求 $c$ 大于每个标准数码所表示的数。这些要求中的任何有限组都能在通常的算术中得到满足，因此全部要求也有一个模型。在该模型中， $c$ 的解释大于每个标准数码所表示的数，但它仍是模型中数的论域的一个元素，而不是通常意义上的自然数，也不是额外添加的“无穷大”。这些结构是模型论的核心研究对象。(ocw.mit.edu)

不完备性与一致性

作为一个可有效公理化的形式系统，PA 适用哥德尔不完备定理。如果 PA 是一致的，就存在它既不能证明也不能否证的算术语句。此外，它无法证明以通常的算术一致性语句表达的自身一致性。这些结果涉及形式上的可推导性，而非具体计算是否具有确定答案。(sciencedirect.com)

这与二阶范畴性并不矛盾。范畴性关注哪些结构满足公理；不完备性关注一个有效的演绎系统能够证明什么。完全二阶逻辑的逻辑后承关系不存在既可靠、完备又有效的证明演算。因此，在数学基础中使用皮亚诺公理时，必须区分语义刻画与形式推导。(plato.stanford.edu)