哥德尔不完备定理
GÖDEL'S INCOMPLETENESS THEOREMS // 足够强的系统，必有够不到的真
> 1931 年，25 岁的哥德尔证明了一件让希尔伯特梦想破灭的事：任何足够强到能做算术、且自洽的形式系统，必然存在既不能证明也不能证伪的命题——而且系统无法用自己的公理证明自己不自相矛盾。这不是"数学崩塌"：数学照常运转。它说的是更深刻的事：真 > 可证。凡是强大到能自圆其说的系统，就必然有它够不到的真理。
Principle — 原理与来源
人物与场景：库尔特·哥德尔（Kurt Gödel，1906–1978）——生于布鲁恩（今捷克布尔诺），维也纳大学出身。1930 年 9 月柯尼斯堡会议上，他在这场讨论数学基础的圆桌末尾轻描淡写地宣布了第一定理——据说当时几乎无人反应，只有冯·诺依曼会后拦住他细谈；1931 年正式发表《论〈数学原理〉及有关系统的形式不可判定命题》。靶子是希尔伯特纲领：用一个自洽、完备、可判定的公理系统一劳永逸地安放全部数学——哥德尔证明这三件事最多同时要两件。
证明的魔法（哥德尔句的构造直觉）：① 算术化——把每个符号、公式、证明都编码成自然数（哥德尔配数），"证明"变成可算术谈论的关系；② 对角线——构造一个句子 G，它在系统内表达"G 在本系统中不可证"（一套严格化了的"本句不可证"）；③ 两难——若系统可证 G，则系统证出了一个假话（不一致）；若系统可证 ¬G，同样不一致。所以一致的系统里 G 不可判定；而在标准自然数模型里 G 显然为真——真，但不可证。
第二定理的补刀：把"本系统一致"（记作 Cons F）本身写成算术命题——它恰好是"不存在某个数是矛盾式的证明"。第一定理的证明可以在系统内部复现，于是若 F 能证明 Cons F，就能证明 G——与第一定理矛盾。结论：想确认 F 自洽，必须借助于更强的系统；而更强的系统又需要更更强的……安全保障永远在外部。
Apply — 用在哪里
Simulate — 哥德尔句机器 × 完备性探测器
Personal Takeaways — 个人启示 · 03
自证清白是不可能的
第二定理的日常版：任何足够复杂的系统——理论、组织、人格——都无法只靠内部资源证明自己没有矛盾。体检必须来自外部：批评者、对照组、异地文化。拒绝一切外部视角的体系，不是无懈可击，是不可检验。
真大于证，接受不可判定
"能不能证明"和"是不是真的"是两个问题——生活中大量重要问题（伴侣是否合适、事业是否该坚持）处在证据够不到的地方，我们仍必须行动。不完备教人的不是瘫痪，是与不可判定共处的谦逊：别把"证不出"当"为假"。
变强是唯一诚实的路径
要证明弱系统的一致性，需要更强的系统——这架永远向上的梯子不是绝望，是方向：遇到无法裁决的问题，答案往往不是原地冥想，而是升级你的工具系统（学一门新语言、换一套框架、引入一个外部标准）。