为什么，哥德尔证明存在极大的价值呢？你，能读懂这个证明，会读懂非常多的人类社会问题本质。比如，一致性。为什么，一定要针对形式系统的一致性进行证明？为什么，一定要证明形式系统的完全性？这些问题，其实都是现实问题的高度抽象。
举个例子，中药有很多牛逼的功效，都没有勇气到美国搞一下ＦＤＡ，不打算为国家赚外汇，只在华人文化圈里混。这是为什么？道理很简单，人脑中存在此类符号系统的，会接受这种文化现象。人脑中不存在此类符号系统的，需要通过一致性检验，来决定效果。
一致性检验，是非常严格的，要求因果关系立竿见影。一旦，通过了一致性检验，那么，功效确定性带来的巨大经济效益，是无法阻挡的。事实是，根本过不去，就不用解释了。这世上，无人会同美元、人民币为仇。稍微理性思维强大些，都能一眼看出一致性假设不成立背后的原因到底是什么。
哥德尔证明，并没有否定罗素的形式系统不存在一致性。只不过，该系统无法通过内部的形式构造证明其一致性，必须通过外部构建来证明。这个证明，其实是把人类历史上那三个著名平面几何问题本质揭示了。尺规作图，解决不了一个角三等分，也不可能完成等面积圆、正方形转换。外部施加一个新的工具，存在刻度，就可以完成。一致性证明，可以做到，但不可以在形式系统的内部做到。之前，我转的那道小学几何奥数题目，本质就是这个问题。其实，该题目的证明，相当于哥德尔证明。１９３６年，有数学家利用外部构造的一个类似无限的连续性假设证明了罗素的形式系统是一致性的。这些纯数学的思辨，对现实问题的映射，是非常强大的。从这些案例中，可以看到，数学是一切
一致性检验，是非常严格的，要求因果关系立竿见影。一旦，通过了一致性检验，那么，功效确定性带来的巨大经济效益，是无法阻挡的。事实是，根本过不去，就不用解释了。这世上，无人会同美元、人民币为仇。稍微理性思维强大些，都能一眼看出一致性假设不成立背后的原因到底是什么。
哥德尔证明，并没有否定罗素的形式系统不存在一致性。只不过，该系统无法通过内部的形式构造证明其一致性，必须通过外部构建来证明。这个证明，其实是把人类历史上那三个著名平面几何问题本质揭示了。尺规作图，解决不了一个角三等分，也不可能完成等面积圆、正方形转换。外部施加一个新的工具，存在刻度，就可以完成。一致性证明，可以做到，但不可以在形式系统的内部做到。之前，我转的那道小学几何奥数题目，本质就是这个问题。其实，该题目的证明，相当于哥德尔证明。１９３６年，有数学家利用外部构造的一个类似无限的连续性假设证明了罗素的形式系统是一致性的。这些纯数学的思辨，对现实问题的映射，是非常强大的。从这些案例中，可以看到，数学是一切