1931年，哥德尔提出不完备定理，证明任何数学公理体系必然存在无法证明的真命题，且无法自证一致性，粉碎了数学完备性的梦想。此后数学家发现了许多类似不可解问题。

1931年，奥地利逻辑学家库尔特·哥德尔提出了数学史上最惊人的发现之一。当时数学家们正试图为数学建立坚实基础：一套既一致（不产生矛盾）又完备（能推导所有数学真理）的基本公理。但哥德尔在25岁时发表的不完备性定理粉碎了这一梦想。他证明，任何作为数学基础的公理系统都必然不完备——总存在关于数字的真实事实无法由这些公理证明。他还指出，没有任何公理系统能证明自身的一致性。

哥德尔的不完备性定理意味着不存在数学的“万有理论”，可证明与真实之间永远存在鸿沟。数学家能证明什么取决于他们的初始假设，而非某种根本性的基础真理。自哥德尔发现以来，数学家们确实遇到了他预言的无法解答的问题，例如连续统假设（关于无穷大的大小）和停机问题（判断计算机程序是否会终止）都是不可判定的。甚至物理学中也出现了不可判定问题，暗示哥德尔不完备性不仅影响数学，还可能以某种未知方式影响现实。

以下是哥德尔证明过程的简化说明：

哥德尔编号
哥德尔的核心技巧是将关于公理系统的陈述映射为系统内部的陈述（即关于数字的陈述），使公理系统能自指。首先，他将任何数学陈述或陈述序列映射为唯一的哥德尔数。例如，12个基本符号（如∃表示存在，+表示加法，s表示后继）被赋予1到12的编号。变量字母（如x、y、z）则映射为大于12的质数（13、17、19等）。任何符号组合（即算术公式或公式序列）都通过质数幂乘积得到唯一哥德尔数。例如，公式“0=0”的三个符号对应编号6、5、6，其哥德尔数为2⁶×3⁵×5⁶=243,000,000。由于质因数分解唯一，解码时只能得到原公式。哥德尔还将公式序列也编码为哥德尔数，方法类似。

元数学的算术化
关于算术公式的元数学陈述也能转化为具有哥德尔数的公式。例如，假公式“~(0=0)”的哥德尔数为2¹×3⁸×5⁶×7⁵×11⁶×13⁹。元数学陈述“该公式的第一个符号是波浪号”可转化为关于其哥德尔数的算术陈述：2¹×...中2的指数为1。这种转化使我们可以通过讨论大整数的质因数分解来间接但精确地讨论符号串的排版性质。甚至“存在某个哥德尔数为x的公式序列能证明哥德尔数为k的公式”这样的元数学陈述也能被算术化，这为后续关键步骤奠定了基础。

自指公式G
哥德尔的创新在于将公式自身的哥德尔数代入公式中。以公式(∃x)(x=sy)（意为“y有后继”）为例，设其哥德尔数为m。将m代入y的位置得到新公式(∃x)(x=sm)（意为“m有后继”），其哥德尔数记为sub(m, m, 17)（17是y的编号）。哥德尔考虑元数学陈述：“哥德尔数为sub(y, y, 17)的公式不可证明”。该陈述转化为公式后有其哥德尔数n。最后，将n代入y得到新公式G：“哥德尔数为sub(n, n, 17)的公式不可证明”。而G的哥德尔数正是sub(n, n, 17)，因此G断言自身不可证明。

如果G可证明，则存在证明序列，但这与G的断言矛盾。在一致的公理系统中，G和~G不能同时为真，因此G不可判定。但G实际上为真，因为它断言自身不可证明且确实如此。由于G为真却不可证明，该公理系统不完备。即使添加新公理证明G，系统仍会产生新的不可证明的真公式G'，永远无法自洽。

一致性无法证明
哥德尔第一不完备性定理表明：一致的公理系统必然不完备。第二定理（无公理系统能证明自身一致性）由此推出：若公理系统能证明自身一致，则根据第一定理它必然不完备，即存在不可证明的真公式G。但系统无法证明G，因此假设矛盾。哥德尔的证明终结了对一致且完备数学系统的追求，其意义至今未被完全理解。

根据评论内容，总结如下：

主要观点与论据：

1. 高度认可与推荐（评论1、2、5、6、10、13、14、15、16）：

   • 多位评论者认为哥德尔不完备定理是数学中最重要或最令人惊叹的成果，并推荐相关书籍（如《哥德尔、埃舍尔、巴赫》）、视频讲座（如Joel David Hamkins的牛津讲座）和文章（如Quanta Magazine的简明介绍）。
   • 关键引用：gavinsyancey推荐“Gödel, Escher, Bach: an Eternal Golden Braid”；smfjaw称“This is my favourite proof in all of maths”；8bitsrule认为该文章是“the most concise presentation of GP”。

2. 对“G为真”表述的质疑（评论3）：

   • 评论者matherial指出，文章称“G虽不可判定但显然为真”不准确，因为哥德尔完备性定理表明，在一阶逻辑中，语义上为真的命题应可证明。G的真值独立于哥德尔构造的机制，这反而导致更反直觉的结果（如斯科伦悖论）。
   • 关键引用：“Godel's completeness theorem says... if G is 'clearly true', that ought to make it provable”；“Its truth is independent of the machinery Godel put in place”。

3. 对证明的批评与简化解读（评论8、11、12）：

   • 部分评论者认为证明显得“人为构造”（contrived），依赖自指；或认为其本质是“无限回归不可判定”的简单例子（如求π的最后一位），被科普文章过度复杂化；还有人批评文章冗长、未直击要点。
   • 关键引用：dsego认为“the proof seems contrived, it stands on self reference”；reliablereason称“Gödels incompleteness is just an example of... infinite regression”；sharts抱怨“literally every article... goes on with some massive introduction”。

4. 补充资源与哲学澄清（评论6、7、9、15）：

   • 提供替代证明路径（如从停机问题不可解推导不完备性）和哲学讨论链接（如反驳围绕定理的“神秘主义”解读）。
   • 关键引用：pfdietz指出“You can also obtain incompleteness from the unsolvability of the halting problem”；Paracompact推荐“essay to dispel a lot of the woo surrounding it”。

平衡性总结：评论整体高度认可哥德尔定理的重要性，但对其表述的准确性（如“G为真”）、证明的直观性及科普方式存在争议。多数评论聚焦于资源推荐，少数深入技术或哲学层面。