從 MIU 到 pq：更簡單的形式系統#

本章引入一個比 MIU 更簡單的形式系統——pq-系統。它本身不是任何主流邏輯系統，但作為展示本書核心概念（特別是「意義」如何從形式中浮現）的範例極為合適。

pq-系統只用三個符號：

p    q    -

公理模式#

由於公理有無限多條，無法逐一列出，作者改用**公理模式（axiom schema）**來定義：

公理模式：xp-qx- 是公理，其中 x 必須是任意（可空）的連字號串，且兩次出現的 x 必須相同。

例如 --p-q---（左邊兩條 hyphen + p + 一條 hyphen + q + 三條 hyphen）即是一條公理。

推導規則#

規則：若 xpyqz 是定理，則 xpy-qz- 也是定理。
      （x、y、z 皆為任意連字號串）

例如：若 --p---q- 是定理，則 --p----q-- 也是。

決策程序：兩種方向#

讀者很快會發現一個規律：在每個 pq-定理中，第一段與第二段連字號的長度相加，等於第三段的長度。

加法判準：字串 <a 個 ->p<b 個 ->q<c 個 -> 是定理，當且僅當 a + b = c。

這就是 pq-系統的決策程序。本章還介紹了兩種建立決策程序的通用方向：

• 由上而下（top-down）：給定一個字串，反向追溯——若它是定理，必由某條更短的字串生成；逐步往回推，最終要嘛遇到公理（是定理），要嘛無路可退（非定理）
• 由下而上（bottom-up）：依公理模式逐一拋出公理進「桶」中，再依規則生成新定理，桶中字串長度只增不減；若目標字串出現過則為定理，若桶內字串已全部超過目標長度仍未現身則為非定理

只有「增長規則」的形式系統，必定存在決策程序；真正困難的是同時包含增長與縮減規則的系統。

同構引出意義#

接著本章進入全書核心議題：

同構（isomorphism）會在心智中誘發意義。

pq-系統的「+」與「=」對應一目了然。如果把符號做以下對應：

p   ↔  plus
q   ↔  equals
-   ↔  1
--  ↔  2
--- ↔  3
...

那麼字串 --p---q----- 就「讀作」2 + 3 = 5。這種符號到意義的對應稱為詮釋（interpretation）。

同構是雙層的結構：

• 下層：符號與概念的對應（symbol-word correspondence）
• 上層：在這個對應下，定理對應於為真的陳述

只有在這個雙層映射成立時，我們才能說某個詮釋是「有意義的」。

有意義的 vs. 無意義的詮釋#

任何隨意的對應都是詮釋，但大多數毫無意義。比如：

p ↔  horse    q ↔  happy    - ↔  apple

此時 -p-q-- 變成「apple horse apple happy apple apple」——對馬或許動聽，卻看不出定理與真理之間的對應。

有意義的詮釋：定理對應為真、非定理對應為假，存在同構於某部分現實的結構。

無意義的詮釋：定理性與真假之間沒有可察覺的相關性。

主動意義 vs. 被動意義#

這是語言與形式系統一個關鍵差別：

• 語言中的意義是「主動的」：學會新詞之後，我們會用它造出新的句子；意義會生成新的造句規則
• 形式系統中的意義是「被動的」：定理已被規則預先決定；即使我們發現了同構，也不能繞過規則去「直接」新增定理

例如，pq-系統中 --p--p--p--q-------- 看似「該」是定理（因為 2+2+2+2=8 為真），但它根本不是「良構字串」（well-formed string），因為它有三個 p。願望不能改變事實，這就是第 1 章「形式性要求」的提醒。

雙重詮釋：同一系統的多個意義#

作者刻意打破讀者的單一詮釋幻覺。考慮另一組對應：

p ↔  equals       q ↔  taken from
- ↔  1            -- ↔  2 ...

此時 --p---q----- 變成「2 = 3 taken from 5」（即 5 − 3 = 2）——仍是真陳述，仍是同構於某種現實（減法）。

同一個形式系統可以同時承載多種有意義的詮釋。符號與字串的這種「雙重意義」，將在後續章節愈來愈深刻。

形式系統能完整捕捉現實嗎？#

本章末段把問題推向極限。pq-系統成功地模仿了「加法」這部分現實，但這只是冰山一角。

一個野心極大的推測：

• 宇宙本身或許就是個巨大的形式系統
  • 符號 = 基本粒子
  • 規則 = 物理定律
  • 公理 = 宇宙最初的粒子組態
  • 定理 = 任意時刻可能的粒子組態

量子力學等現代物理至少對這個圖像投下懷疑——宇宙是否真的決定性運作，仍是未解之謎。

數學作為符號操作#

退一步，把「現實」限定為數學本身。要把數論用形式系統捕捉，會遇到的核心困難是：

• 定理集可能是無限的
• 我們無法逐一驗證「每個定理在詮釋下都為真」
• 但我們又希望這個對應是完美的

歐幾里得的素數無窮多證明#

作者以**歐幾里得定理（Euclid’s Theorem）**為例：

存在無窮多個質數。

證明思路（反證式變體）：

• 任選一個數 N
• 構造 N! + 1（N 的階乘加 1）
• N! + 1 對於 1 到 N 之間任一數除餘數皆為 1
• 因此 N! + 1 的質因數必大於 N，或 N! + 1 本身就是質數
• 不論哪種情況，都存在大於 N 的質數
• 由於 N 是任意取的，這便證明了質數無窮

最後一步「N 是任意取的」稱為「一般化（generalization）」，
是把單一個案推至全稱命題的關鍵動作。

用有限的詞捕捉無限#

關鍵巧妙之處在於：歐幾里得的證明處理「所有自然數」這個無限集合，卻從未真的逐一檢驗無限多情況。它用了「不論 N 是什麼」、「對所有 N」這類短語，把無窮多個陳述壓縮到有限的推理步驟中。

「all」、「whatever N is」這類詞看似只是語言慣例，背後其實有一套我們不自覺遵守的規則。將這些規則明朗化、形式化，是後續章節的重要任務。

為下一階段鋪路#

本章為後續關於**排版數論（TNT）**的章節埋下伏筆：

• 數論可以被「形式系統化」嗎？
• 該系統的規則是否與人類數學推理「等強」？
• 是否存在某些真的數學命題，永遠無法被符號操作捕捉？