哥德尔 · 有些真理证不出来

再多讲一点

哥德尔 1931 年证明的是两条定理。第一不完备定理：任何一致的、能表达基本算术的形式系统，都存在一个命题在该系统内既不能被证明也不能被否证。第二不完备定理：这样的系统无法在自身内部证明自己的一致性。这意味着希尔伯特「用有限方法证明全部数学一致性」的纲领不可能实现。

• 关键技巧是「哥德尔编码」：把命题和证明过程编码成自然数，让系统能够「谈论自己」，从而构造出自指命题。
• 它不意味着数学不可靠，也不意味着「什么都不能证明」——它限定的是形式系统的表达边界。
• 这条定理常被跨界引用到哲学、人工智能领域，很多引用超出其原本适用范围，需要谨慎对待。