---
title: 自指 (Self-Reference)
created: 2025-04-15
updated: 2026-05-01
type: concept
tags: []
sources: []
---

# 自指 (Self-Reference)

- **领域**: 逻辑学、数学基础、语言哲学
- **来源**: [[godel-incompleteness-tutorial|哥德尔不完备定理教程]]

## 定义

自指是指一个命题、公式或系统指向自身的能力。在哥德尔不完备定理中，自指是通过[[godel-numbering|哥德尔编码]]和[[diagonalization-method|对角线方法]]在[[formal-systems|形式系统]]内部合法构造的，核心产物是断言「我不可证」的哥德尔句子 G。

## 构造机制

1. 定义公式 ψ(x) := ¬Prov(Sub(x, x, x))
2. 设 ψ(x) 的哥德尔数为 n
3. 定义哥德尔句子 G := ψ(n) = ¬Prov(Sub(n, n, n))
4. 由于 Sub(n, n, n) = GN(G)，G 等价于 ¬Prov(GN(G))，即 G 断言「G 不可证」

## 与说谎者悖论的区别

| 方面 | 说谎者悖论 | 哥德尔自指 |
|------|-----------|-----------|
| 表达方式 | 「这句话是假的」 | G = ¬Prov(GN(G)) |
| 编码基础 | 自然语言的语义模糊性 | 严格的算术编码 |
| 合法性 | 导致矛盾（悖论） | 在形式系统中完全合法 |
| 结果 | 无法赋值真值 | 为真但不可证 |

## 对角线方法的历史谱系

康托尔对角线论证（实数不可数）→ 罗素悖论 → 塔斯基不可定义性定理 → 哥德尔不完备定理 → [[halting-problem|停机问题不可判定性]]

对角线方法的本质是通过让对象谈论自身，揭示系统的内在限制。

## 相关概念

[[godel-numbering]] · [[diagonalization-method]] · [[godel-incompleteness-theorems]] · [[halting-problem]]
