哥德尔不完备定理的条件与边界

哥德尔 1931 年的不完备定理适用于能够表达足够多初等算术、可有效公理化且保持一致的形式系统。第一不完备定理大意是：这样的系统中会有既不能在系统内证明、也不能在系统内否证的句子；若再满足适当可靠性条件，其中一些句子在标准自然数解释下为真。

第二不完备定理表明：一个满足相应条件且一致的系统，不能仅凭自身通常的形式化资源证明自己的相容性。它不是说“一切知识都不完整”，也不是说逻辑只有主动承认裂缝后才有能力区分真与假。

“真”“可证”“可判定”和“一致”是不同概念。一个不完备系统仍能证明大量定理；某句话在系统内不可判定，也不意味着它既真又假。定理同样不适用于所有弱系统或任意自然语言论述。把它类比到主体、无意识或政治结构可以产生哲学启发，但不是哥德尔定理本身的数学结论。

《研讨班 XV》以奇完全数是否存在说明“不可判定”，需要同上述技术意义分开。截至 2026 年 8 月，这仍是尚未解决的数论问题；但“目前既无存在证明也无不存在证明”并不自动证明它独立于某个形式系统。只有指定公理系统并证明两端均不可推出，才能把具体命题称作该系统中的不可判定句。

《研讨班 XVI》更准确地抓住了哥德尔编号的一个关键动作：把形式语言中的符号、公式和证明编码为自然数，使系统能够在算术中谈论自身的句法。拉康在同一句中并举“完备性”与“可判定性”，阅读时仍须保留二者区别：不完备性关涉某些句子在系统内既不可证也不可否证；判定问题则问是否存在一种对每个输入都在有限步骤内给出答案的有效程序。

来源

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I（德文；哥德尔 1931 年原论文）
• Gödel’s Incompleteness Theorems（英文；斯坦福哲学百科）
• I teoremi di incompletezza di Gödel（意大利文；特雷卡尼数学百科）
• 《研讨班 XV》第十四课 s15-14-0097—s15-14-0102（法文；以奇完全数问题说明 l’indécidable）
• 《研讨班 XVI》第五课 s16-05-0074（法文；哥德尔编号、完备性与可判定性）

关联

伯特兰·罗素关于数学的反讽定义 奇完全数问题与“不可判定”的区别

s15-14-0097 s15-14-0102 s16-05-0074 s19-03-0029 s19-03-0042 s19-03-0047 s17-09-0320