需要把哥德尔不完备定理讲到什么程度才能被大众所熟知？

需要把哥德尔不完备定理讲到什么程度才能被大众所熟知？

有些事实被认知为真，但不是必然可证的 — Kurt Godel (1906.04.28 - 1978.01.14)

逻辑系统的性质

在真命题中,有一类的正确性是人们在长期实践中总结出来的,是大家公认的,它们可以直接作为判断其他命题的原始依据,这样的真命题叫做公理。
不证自明的道理叫公理，根据公理可以推导出一些列的定理。数学家们将公理到定理之间的这个推导过程称为“形式系统”。

有效性：一命题为真可推出另一命题也为真。
可靠性：所有定理都为真。
自洽性：（无矛盾性，相容性，一致性）所有定理都相互无矛盾。
完备性：不存在无法证明真伪的命题。

注意：以上性质都是对逻辑系统的描述，可能在其他数学分支中，相同名称有不同概念。

【想象一下，如果你想描述一个三角形，你会怎么描述？连接非同线的三个点的最简单形状；三个可伸缩线段的封闭连接，等等等。描述几何中的一个三角形“似乎”不是难事，但如果叫你描述整个（初等）几何呢？你将用什么方法？这是就显示了《几何原本》的伟大了，它首次用公理化方法，解答了上述问题。】

公理化方法：是从尽可能少的基本概念和基本公理出发，应用严格的逻辑推理，使一门数学建成为演绎系统的一种方法。在理论形式上，这些基本概念和基本公理，是逻辑推