哥德尔不完备定理
1931年哥德尔证明：含算术的一致形式系统存在不可判定命题，且不能自证相容。
背景
20世纪初，希尔伯特提出”形式主义”纲领，主张将全部数学建成一个有限、完备且一致的形式公理系统，并希望能在系统内部证明系统的相容性（一致性）。这一目标被称为”希尔伯特纲领”。
详细描述
1931年，奥地利逻辑学家库尔特·哥德尔（Kurt Gödel）发表论文《论〈数学原理〉及有关系统中的形式上不可判定的命题》，提出两条不完备定理：
- 第一不完备定理：任何包含基本算术（如皮亚诺算术）且一致的形式系统，都存在一个命题，它既不能被该系统证明，也不能被该系统否定。
- 第二不完备定理：这样的系统无法在自身内部证明自身的相容性。
证明的核心技巧是哥德尔编码（Gödel numbering）：将形式系统中的符号、公式与证明都映射为自然数，从而用算术公式表达”本命题不可证”这类自指语句，构造出真正不可判定的命题。
求解过程 / 影响（含最新进展若相关）
不完备定理宣告了希尔伯特形式主义纲领中”在系统内证明算术相容性”这一目标不可能实现，深刻改变了数学基础与数理逻辑的方向。它与连续统假设的相对独立性结果（哥德尔1940年证明连续统假设与ZFC协调；科恩1963年证明其与ZFC的否定也协调）共同揭示：即便是高度自洽的公理体系，也内在地包含无法在其内裁决的命题。这不完备性思想还深远影响了可计算性理论（如图灵停机问题）与哲学对”数学真理”的理解。