**塔斯基不可定義定理**（英語：），是由阿爾弗雷德·塔斯基在1936年給出並證明，是在數理邏輯、數學基礎及形式化語義方面的一個重要的限制結果。簡單來說：我們無法在算術系統中定義何謂「算術的真理」。從而這個定理可被推廣成適用於任何足夠強的形式系統，以表明：我們無法在系統中定義何謂「系統標準模型的真理」。

歷史
--

庫爾特·哥德爾在1931年發表了著名的哥德爾不完備定理，他一部分是透過一階算術的語義表達技巧來完成定理的證明。在他的算術語言中，每條表達式都配有各自的編碼。這個過程稱為「哥德爾編碼」，而每組表達式也可配有各自的編碼組。如此一來，各種語義屬性（例如：當成式子或當成句子）變成可計算的。我們就可透過算術式定義任何可計算的編碼組，具體而言，我們可用算術語言中的某些式子（即公理）為算術句子及可證明的算術句子定義出編碼組。

塔斯基不可定義定理則表明：我們無法按照語義的概念給式子進行恰當的編碼，例如：真理的概念。這表明：世上沒有任何直譯語言足以表達出它本身的語義。我們可推論出，元語言必須具備超越對象語言（英语：）的表達能力，才可表達出對象語言的語義。元語言具有對象語言所沒有的原始概念（英语：）、公理及規則，使得某些定理在對象語言中不可證明，在元語言中卻可證明。

一般認為不可定義定理是由塔斯基給出的。儘管哥德爾在1930年證明不完備定理的期間也發現了不可定義定理，遠早於塔斯基的發表，但是哥德爾並未發表自己有關不可定義性的發現，僅在1931年致約翰·馮·紐曼的信中提到它。

塔斯基在1929至1931年間完成了他大部分的論文成果，並向波蘭的聽眾演說。這篇論文就是1936年發表的《形式化語言中的真理概念》（Der Wahrheitsbegriff in den formalisierten Sprachen）。然而，正如他在論文中所強調的，只有不可定義定理這一結果不是他首先發現的。根據論文中不可定義定理的註解（Satz I），這個定理及其證明的草稿是在送印前才加進論文中的。

他在1931年3月21日向波蘭科學院（Warsaw Academy of Science）進行論文演說時，僅寫下一些猜想，而沒有提到他基於自己的研究與哥德爾的簡報所完成的《元數學的完備性與相容性的一些結果》（Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit）。

專有名詞介紹
------

這個條目中包含了許多邏輯學、數學、語言學的專有名詞，且相同的概念在不同的研究領域可能有不同的名稱，故在此特別獨立出一個小節彙整本條目的專有名詞。

* 一階算術：指一階邏輯。
* 算術語言：指形式語言。
* 對象語言：指被當成研究對象的語言。
* 元語言：指用以研究對象語言的高階語言。
* 式子：英文作well-formed formula，指符合語法規則的字串，可以具有自由變數。
* 句子：英文作sentence，指沒有自由變數的式子。
* L-式子或L-句子：分別指語言L中的式子或句子。
* A↔B：讀作「A若且唯若B」，意思是：A與B要麼同時成立，不然同時不成立。可進一步理解為：A等價于B。

定理的內容
-----

我們在這個小節會給出塔斯基定理的簡易版，接著在下個小節才會論及塔斯基在1936年的完整證明。

令L為一階算術語言，令N為L的標準結構。這樣，(L, N)就是「一階算術直譯語言」。L中的每個句子x都有各自的哥德爾數g(x)。令T為在N中為真的L-句子的集合，而T\*為T中的句子的哥德爾數的集合。

現在的問題是：一階算術的句子可否定義出T\*？

塔斯基不可定義定理的回答是：沒有任何在N中為真的L-式子定義出T\*，亦即，沒有任何在N中為真的L-式子使對任何L-式子A，有：True(g(A))↔A。

簡單來說，這個定理告訴我們：我們不可透過任何形式算術本身的表達能力定義出這種形式算術中的真理概念。這指出了自指範圍的主要限制。我們不可定義出一個式子True(n)以擴展出T\*，不過我們仍可透過表達能力超越L的元語言來達到這點。例如：二階算術可定義出一階算術的真謂詞。可是元語言只可定義出對象語言中的句子的真謂詞。我們必須以更高階的元語言（即元語言的元語言）來定義元語言的真謂詞，這樣的定義方式是永無止盡的。

這個定理算是波斯特定理（Post's theorem）在算術階層中的引理。這個定理是繼塔斯基不可定義定理發表數年後完成的。在波斯特定理的基礎下，我們可透過歸謬法給出塔斯基定理的語義證明如下：

假設T\*是算術上可定義的，那麼，我們可透過自然數n將T\*定義在算術階層的第\Sigma \_{n}^{0}階。然而，對任何k，T\*都是{\displaystyle \Sigma \_{k}^{0}}-hard的。這樣，算術階層就在第n階崩潰，違反波斯特定理。（{\displaystyle \Sigma \_{b}^{a}}表示第a階到第b階的聯集。）

定理的推廣
-----

塔斯基透過完全的語法學方法給出了更有力的證明。該結果適用于具備邏輯非，而且具有充分的自指能力使得對角線引理成立的這樣一類形式語言。一階算術滿足這些前設，不過，此定理對更廣義的一些形式系統也是成立的。

塔斯基不可定義定理之廣義形式如下：

令(L, N)為任何直譯形式語言，包括：邏輯非與歌德爾數g(x)，使對任何L-式子A(x)，存在式子B有：B↔A(g(B))。

令T\*為在N中為真的L-式子的哥德爾數的集合。我們試圖證明：不存在可定義T\*的L-式子True(n)，亦即，不存在L-式子True(n)使對任何L-式子A，有：True(g(A))↔A。

我們透過歸謬法來證明這一點。

假設L-式子True(n)可定義T\*。例如，若A是算術系統的句子，則在N中有True(g(A))若且唯若A在N中為真。所以，對任何A，塔斯基T-句子True(g(A))↔A在N中為真。但我們透過對角線引理可構造出一個反例，即給出一個「謊言」句子S，有：S↔¬True(g(S))。是故，不存在可定義T\*的L-式子True(n)。證明完畢。

這個證明的形式構造除了對角線引理的對角線化過程外，都很淺顯易懂。對角線引理的證明，同樣不太困難，因為它不涉及遞迴函數。雖然這個證明假設任何L-式子都配有歌德爾數，但我們並不需要真的去編碼。所以，在一階算術的元數學性質上，塔斯基定理比著名的哥德爾定理還容易想到和證明。

探討
--

如果一種直譯語言的謂詞與函數符號足以定義出自身中所有語義概念，就稱這語言具有「語義上強自我表達」能力。其中，必要的函數包括：「語義賦值函數」，用以將式子A映射到它的真值||A||，及「語義表示函數」，用以將項t，映射到它所表示的對象。最終，塔斯基定理總結道：「不管一種語言的表達能力有多強，它也不具有語義上強自我表達能力。」

無論如何，塔斯基不可定義定理並未禁止以較強的理論去定義較弱的理論中的真理。例如，在N中為真的一階皮亞諾算術式子（的編碼）的集合，可以被二階算術中的式子所定義；類似地，由二階算術（以及任何的n階算術）的標準模型中的真式子組成的集合，可被一階ZFC系統中的式子所定義。

雷德蒙·斯穆里安強烈建議人們將目光從哥德爾不完備定理轉移到塔斯基不可定義定理上，因為前者主要涉及數學，而在哲學議題的範疇中效果不顯著。反之，塔斯基定理並不直接涉及數學，卻涉及任何形式語言在充分表達能力上的固有限制，值得探討。這種語言須具有充分的自指能力以使得對角線引理適用。引進塔斯基定理對哲學領域的擴展效果更加顯著。

參考資料
----

* J.L. Bell, and M. Machover, 1977. *A Course in Mathematical Logic*. North-Holland.
* G. Boolos, J. Burgess, and R. Jeffrey, 2002. *Computability and Logic*, 4th ed. Cambridge University Press.
* J.R. Lucas, 1961. "Mind, Machines, and Gödel （页面存档备份，存于）". Philosophy 36: 112-27.
* R. Murawski, 1998. Undefinability of truth. The problem of the priority: Tarski vs. Gödel. History and Philosophy of Logic 19, 153-160
* R. Smullyan, 1991. *Godel's Incompleteness Theorems*. Oxford Univ. Press.
* R. Smullyan, 2001. "Gödel’s Incompleteness Theorems". In L. Goble, ed. *The Blackwell Guide to Philosophical Logic*, Blackwell, 72-89.
* A. Tarski.  (PDF). Studia Philosophica. 1936, **1**: 261–405  [26 June 2013]. （原始内容 (PDF)存档于2014年1月9日）.
* A. Tarski, tr J.H. Woodger, 1983. "The Concept of Truth in Formalized Languages". English translation of Tarski's 1936 article. （页面存档备份，存于） In A. Tarski, ed. J. Corcoran, 1983, *Logic, Semantics, Metamathematics*, Hackett.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
数理逻辑 |
| --- |
|  |
| 基本概念 | 
* 公理
	+ 列表
* 势
* 一阶逻辑
* 形式证法（英语：）
* 邏輯語義學
* 数学基础
* 信息论
* 蕴涵
* 结构
* 集合
* 定理
* 形式理论
* 类型论

 |
|  |
| 定理（列表（英语：）及悖论（英语：）） | 
* 哥德尔完备性定理及哥德尔不完备定理
* 塔斯基不可定義定理
* 巴拿赫-塔斯基定理
* 康托尔 定理、悖论和對角論證法
* 紧致性定理
* 停机问题
* 林德斯特伦定理（英语：）
* 勒文海姆–斯科伦定理
* 罗素悖论

 |
|  |
| 逻辑 | 

|  |  |
| --- | --- |
| 传统逻辑 | 
* 邏輯真理
* 恆真式
* 命题
* 推理
* 逻辑等价
* 一致性
	+ 相同一致性（英语：）
* 逻辑论证
* 可靠性定理
* 有效性
* 直言三段论
* 对立四边形
* 文氏图

 |
|  |
| 命题逻辑 | 
* 逻辑代数
* 布尔函数
* 逻辑运算符
* 命题逻辑
* 命题公式
* 真值表
* 多值逻辑
	+ 三值
	+ 有限值（英语：）
	+ 无限值（英语：）

 |
|  |
| 经典逻辑 | 
* 经典逻辑
* 一阶逻辑
* 二階邏輯
	+ 一元（英语：）
* 高阶逻辑
* 自由逻辑
* 量化
* 谓词（英语：）
* 一元谓词演算

 |

 |
|  |
| 集合论 | 

|  |
| --- |
| 
* 集合
	+ 遗传集（英语：）
* 类
* （基本）元素
* 有序对
* 序数
* 子集
* 相等
* 外延性
* 力迫
* 关系
	+ 等价关系
	+ 集合划分
* 集合运算
	+ 交集
	+ 并集
	+ 补集
	+ 笛卡儿积
	+ 冪集
	+ 同一性（英语：）

 |
|  |
| 集合种类 | 
* 可數集
* 不可數集
* 空集
* 居集（英语：）
* 单元素集合
* 有限集合
* 无限集合
* 传递集合
* 超滤子（英语：）
* 递归集合
* 模糊集
* 全集
	+ 可构造全集（英语：）
	+ 格伦迪克全集（英语：）
	+ 冯·诺伊曼全集

 |
|  |
| 映射与势 | 
* 函数、映射
	+ 定义域
	+ 到达域
	+ 像
* 单射、满射、双射
* 康托尔-伯恩斯坦-施罗德定理
* 同构
* 哥德尔数
* 列举法
* 大基数
	+ 不可達基數
* 阿列夫數
* 运算
	+ 二元运算

 |
|  |
| 集合理论 | 
* 策梅洛-弗兰克尔 (ZFC)
	+ 选择公理
	+ 连续统假设
* 广义集合论 (GST)（英语：）
* 克里普克-普拉克 (KP)（英语：）
* 莫尔斯-凯利集合论 (MK)（英语：）
* 朴素集合论
* 新基础集合论
* 塔斯基-格罗滕迪克 (TG)（英语：）
* 冯·诺伊曼-博内斯-哥德尔 (NBG)
* 建构式集合论（英语：）

 |

 |
|  |
| 句法（英语：）及语言 | 

|  |
| --- |
| 
* 字母表
* 元数
* 自動機理論
* 公理模式
* 表達式
	+ 基础表达式（英语：）
* 扩展（英语：）
* 关系
* 形式
	+ 文法
	+ 语言
	+ 证明
	+ 系统
	+ 理论
* 形成规则（英语：）
* 合式公式
	+ 原子公式
	+ 封闭式
	+ 基本式（英语：）
	+ 开放式
* 自由变量和约束变量
* 元語言
* 逻辑运算符
	+ ¬
	+ ∨
	+ ∧
	+ →
	+ ↔
	+ 逻辑相等（英语：）
* 谓词（英语：）
	+ 泛函谓词
	+ 谓词变量
	+ 命题变量
* 量化
	+ ∃
	+ !
	+ ∀
	+ 级别（英语：）
* 句子
	+ 原子句子
* 逻辑签名（英语：）
* 字符串
* 替换法（英语：）
* 逻辑符号
	+ 函数符号
	+ 逻辑常量（英语：）
	+ 非逻辑符号（英语：）
	+ 變數
* 逻辑术语（英语：）

 |
|  |
| 公理系统示例（列表（英语：）） | 
* 实算术（英语：）
	+ 皮亚诺公理
	+ 二阶（英语：）
	+ 初等函数（英语：）
	+ 原始递归（英语：）
	+ 罗宾逊算术（英语：）
	+ 斯科勒姆算术（英语：）
* 實數的構造
	+ 塔尔斯基公理化（英语：）
* 布尔代数
	+ 正则定义（英语：）
	+ 最小公理（英语：）
* 几何（英语：）
	+ 欧几里得几何
	+ 《原本》
	+ 希尔伯特公理
	+ 非欧几里得几何
	+ 塔尔斯基公理（英语：）
* 《数学原理》

 |

 |
|  |
| 证明论 | 
* 形式证明
* 自然演绎
* 蕴涵
* 推理规则
* 相继式演算
* 定理
* 系统
	+ 形式
	+ 公理
	+ 演绎
	+ 希尔伯特演绎系统
		- 列表（英语：）
* 完备理论（英语：）
* ZFC系统的独立性（英语：）
	+ 列表
* 不可能证明（英语：）
* 序数分析（英语：）
* 逆数学
* 自恰理论（英语：）

 |
|  |
| 模型论 | 
* 解释
* 结构
	+ 初等等价
	+ 有限模型（英语：）
	+ 飽和模型
	+ 子结构
* 非标准模型
	+ 算术（英语：）
* 结构图（英语：）
	+ 基本图（英语：）
* 分类理论（英语：）
* 完备模型论（英语：）
* 可满足性（英语：）
* 邏輯語義學
* 强度（英语：）
* 真理
	+ 语义理论
	+ 塔尔斯基
	+ 克里普克
* T-模式
* 转移原则（英语：）
* 真理谓词（英语：）
* 真值
* 型
* 超積
* 有效性

 |
|  |
| 可计算性理论 | 
* 邱奇数
* 邱奇-图灵论题
* 递归可枚举集合
* 可计算函数
* 递归集合
* 決定性問題
	+ 可决定性（英语：）
	+ 不可决定性
	+ P
	+ NP
	+ P/NP问题
* 柯氏复杂性
* Λ演算
* 原始递归函数
* 递归
* 递归集合
* 图灵机
* 类型论

 |
|  |
| 其他相关 | 
* 抽象逻辑（英语：）
* 范畴论
* 具象范畴、抽象范畴
* 集合范畴
* 逻辑史
* 数理逻辑
	+ 历史年表（英语：）
* 邏輯主義
* 数学对象
* 数学哲学
* 超任务（英语：）

 |
|  |
|  **数学主题** |

 |