---
title: "Paris-Harrington Theorem（巴黎-哈灵顿定理）"
created: 2026-05-11
updated: 2026-05-11
type: concept
tags: [mathematical-logic, proof-theory, incompleteness]
sources: [[ramsey-numbers-survey]]
---

# Paris-Harrington Theorem（巴黎-哈灵顿定理）

## 定义

Paris-Harrington 定理（1977）构造了一个在皮亚诺算术（PA）中可陈述但**不可证明**的命题——有限 Ramsey 定理的一个微小变体：要求单色集的极小元素大于其基数。

## 历史意义

这是 [[godel-incompleteness-theorems|哥德尔不完备定理]] 之后，首个在"自然"数学实践中发现的独立于 PA 的命题。不同于哥德尔人工构造的自指语句，Paris-Harrington 命题来自组合数学的正常研究。

## 启示

- 组合数学中看似简单的有限性命题可能已超出 PA 的证明能力
- 不可判定性并非逻辑学的孤立现象，而是渗透到数学实践的核心
- Ramsey 理论成为衡量证明论强度的标准尺度（逆向数学）

## 相关概念

- [[godel-incompleteness-theorems|哥德尔不完备定理]]
- [[ramsey-theory|拉姆齐理论]]