前情提要

哥德尔不完备性定理 2

~~哥德尔这小子最精了，专门和希尔伯特对着干~~

这东西证明就更简单了

一致性是指不存在矛盾

但是 $A \to G$ 中的 G 已经被推导出是可证明的，而且 G 命题的内容正是“我不可证”。

这个系统竟然证明出了一个错误的命题。

综上所述，“一致性”不存在。

没错，还是这么简单

你已经很轻松的证伪了“完备性”和“一致性”，是不是很简单？

既然这么好理解，那为什么偏偏是哥德尔想出来了呢？为什么不是别人呢？

我想，原因就在思维。

数学的核心不是理解，而是想象。大胆想象，才能发现许多原本被忽视，甚至一度不被认可的可能。

就像哥德尔，别人（希尔伯特、罗素等惊世骇俗的天才）在躲避数学中的“自指”，在想尽办法将数学大厦的漏洞修补好。而哥德尔在干什么？他反其道而行之，驯服了自指（“合法”的使用了自指），甚至站在上帝视角，直接去研究编码。

哥德尔并没有发明新的数学运算，他只是用一种前无古人的方式，让数学“回头看了一眼自己”。这一回头，人类理性的疆域被重新划定。