皮亞諾公理 — Project Hematite

你從很小的時候就開始計數了。但你有沒有停下來想過：*數字到底是什麼？***皮亞諾公理（Peano axioms）**是數學家的答案——五條精簡的規則，只用邏輯就能從無中變出整個計數數的集合。

什麼是公理？

數學像一座塔一樣建立起來。在最底部你需要一個基礎——你接受為真而無需證明的事實。這些基礎真相被稱為公理（axioms）。

它們上面的一切（公式、定理、你在學校學到的所有規則）都是透過從那些起點小心推理而得出的。公理不是被證明的；它是被選擇的。數學家選擇感覺顯然為真，且足夠有力以讓他們能證明其他一切的公理。

把公理想成棋盤遊戲的規則。在任何棋子移動之前，桌上的每個玩家都同意相同的規則。遊戲本身——所有的策略、移動和結果——都從那些規則中衍生出來。同樣地，所有的算術都從皮亞諾公理中衍生出來。

什麼是自然數？

數字 $0, 1, 2, 3, \ldots$ 被稱為自然數（natural numbers）。（一些較舊的教科書從 $1$ 開始；現代慣例包括 $0$ ，這也是我們在這裡採用的。）

所有自然數的集合寫作 $\mathbb{N}$ ：

\mathbb{N} = \{0,\, 1,\, 2,\, 3,\, 4,\, \ldots\}

1889 年，義大利數學家**朱塞佩·皮亞諾（Giuseppe Peano）**問：要精確地確定這些數字是什麼——不多也不少——所需的最少條件是什麼？他的答案是五條公理。

「下一個」按鈕：後繼函式

皮亞諾系統的核心概念是後繼函式（successor function），記作 $S$ 。一個數的後繼就是緊接在它後面的那個數：

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

把 $S$ 想成一個「下一個」按鈕。從 $0$ 按一次就到達 $1$ 。再按一次就到達 $2$ 。因為你總是可以再按一次，計數的數字永遠不會結束。

用 $S$ 來說，每個大於 $0$ 的自然數就是 $0$ 把按鈕按了若干次的結果：

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

有了這幅圖像，這五條公理就很容易陳述，也很容易理解了。

五條皮亞諾公理

公理 1：零存在

0 \in \mathbb{N} \tag{P1}

零是一個自然數。沒有起點，「下一個」按鈕就沒有地方開始，所以我們宣告 $0$ 存在。其他一切都建立在這個單一的種子上。

公理 2：每個數都有後繼

\forall\, n \in \mathbb{N},\quad S(n) \in \mathbb{N} \tag{P2}

如果 $n$ 是一個自然數，那麼 $S(n)$ ——緊接在它後面的那個數——也是一個自然數。這保證了不存在最後一個數。不管你數到多遠，你總是能再往前一步。

公理 3：零不是任何數的後繼

\forall\, n \in \mathbb{N},\quad S(n) \neq 0 \tag{P3}

零的前面什麼都沒有。除了 $0$ 以外的每個數都是某個數的後繼，但 $0$ 本身不是任何數的後繼。

沒有這條規則，數字可能會像時鐘上的小時一樣「繞回來」（在 $12$ 上按「下一個」就回到 $1$ ）。公理 3 排除了這種情況：一旦你按下「下一個」按鈕離開 $0$ ，你就永遠不會回到它。

公理 4：不同的數有不同的後繼

\forall\, m, n \in \mathbb{N},\quad S(m) = S(n) \implies m = n \tag{P4}

如果兩個數有相同的後繼，它們一定是同一個數。換句話說，「下一個」按鈕永遠不會把兩個不同的數送到同一個地方——每個數都有它自己唯一的後繼。

想像一條無窮無盡的人龍，每個人直接站在另一個人後面。公理 4 說沒有兩個人會站在同一個人後面。這條隊伍永遠不會合並；它只是無限延伸。

公理 5：歸納公理

\Bigl[P(0)\ \land\ \forall\, n \in \mathbb{N}\,\bigl(P(n) \implies P(S(n))\bigr)\Bigr] \implies \forall\, n \in \mathbb{N},\; P(n) \tag{P5}

這是五條公理中最有力的——也是最令人驚訝的。

用通俗的話說：假設某個性質 $P$ 對 $0$ 成立，且每當它對數 $n$ 成立時，它也對下一個數 $S(n)$ 成立。那麼 $P$ 對每個自然數都成立。

經典的圖像是多米諾骨牌。想像一排無限的直立多米諾骨牌：

第一塊倒下——那就是 $P(0)$ 。
每塊倒下的骨牌把下一塊推倒——那就是 $P(n) \implies P(S(n))$ 。
結論：每塊骨牌最終都會倒下——那就是 $\forall\, n,\; P(n)$ 。

為什麼這條公理是必要的？沒有它，可能存在「流浪」的數字，它們住在 $\mathbb{N}$ 中，但永遠無法透過從 $0$ 開始按「下一個」按鈕到達。公理 5 關上了那些冒充者的門。它說 $\mathbb{N}$ 只包含你透過對 $0$ 有限次應用 $S$ 所能到達的那些數——沒有隱藏的，沒有額外的。

你可以從五條公理建立什麼

只從 (P1)–(P5) 出發，你可以定義加法和乘法，然後證明你曾用過的每一條算術規則：

加法用兩個步驟定義：

m + 0 \coloneqq m \tag{A1}

m + S(n) \coloneqq S(m + n) \tag{A2}

規則 (A1) 說加零什麼都不改變。規則 (A2) 說加 $n$ 的後繼等同於取 $m + n$ 的後繼。就這樣——加法完全由兩行捕捉。

乘法類似地是遞迴的：

m \times 0 \coloneqq 0 \tag{M1}

m \times S(n) \coloneqq (m \times n) + m \tag{M2}

從這些定義和歸納公理出發，你可以證明：

$m + n = n + m$ （加法交換律）
$(m + n) + k = m + (n + k)$ （結合律）
$m \times (n + k) = m \times n + m \times k$ （分配律）
……以及你所知道的關於整數算術的其他一切。

這一切都是五條簡單規則的邏輯結果。

摘要

**公理（axiom）**是一個不加證明而被接受的初始假設。一個理論中所有的數學推理都建立在它的公理之上。
自然數 $\mathbb{N} = \{0, 1, 2, 3, \ldots\}$ 只用五條公理就可以定義，這五條公理最早由朱塞佩·皮亞諾在 1889 年發表。
關鍵工具是後繼函式（successor function） $S$ ：應用它一次就移動到下一個數。
五條皮亞諾公理陳述：
- (P1) $0$ 是一個自然數。
- (P2) 每個自然數都有一個後繼，它也是一個自然數。
- (P3) $0$ 不是任何自然數的後繼——這個序列有一個真正的開始。
- (P4) 後繼函式是單射的（injective）：兩個不同的數總有不同的後繼。
- (P5) 歸納公理：任何對 $0$ 成立，並從每個數「傳播」到其後繼的性質，對每個自然數都必須成立。
從這五條規則出發，你可以定義加法和乘法，然後證明它們所有你熟悉的性質。