池远点了点头，没有立即开口，也没有放弃的打算，他是真的在组织语言。
虽然他对数学的学习并没有对物理的那样深入，但数学本就是很多学科的基础。
无可避免地，无论是数学的意识，还是各种理论，都会在其他学科中，不经意间被提及使用。
尤其是物理。
哥德尔不完备定理，池远就是在物理学习过程中接触到的。准确地来说，是在学习爱因斯坦的相关理论时，书中提到了他的朋友——哥德尔。
一个搞数学和逻辑的孤僻数学家，最好的朋友就是爱因斯坦。
要是仅是这点，池远或许不会对这个人多加了解，但哥德尔的理论吸引了他的注意力——数学工作是靠数学证明来完成的，如果认为它对，必须证明，这是数学家们的共识；另外一个共识便是，每个证明总得有个出发点，不然证明就无法开始。这些出发点，也就是‘数学公理’。
从学习数学开始，老师们都说，数学公理就是‘不证自明的基本事实’。
作为，作为坚实的基础，这样的‘公理’，或者说一系列的数学事实，在哥德尔那个时代，数学家们认为，‘公理集’必然是一致的，即，不会导致矛盾，同时也是完备的，以作为所有数学真理的基础。
但是，25岁的哥德尔证明：任何一个你假定的、能作为数学基础公理集，都不可避免地是不完备的。简而言之，总有一些关于数的事实不能被这些公理证明。
所以，人力构造的数学系统无法完备。总是存在一些确定为真的东西，算法上不可穷尽，是人力构造的逻辑系统无法达到。这些为真的东西就是数学的理念世界，它们有确定的真值，不论人有没有去研究它。
数学不由人心创造。就像‘1+1=2’不是人创造发明的，仅仅是人类发现了它，并用更方便的符号表达了出来。
有种哲学意味了对不对？但如何证明呢？
池远花了一分钟整理好了思路，精准到了每一个字，才语气平稳地开口道：
“哥德尔不完备定理是哥德尔在1931年证明并发表了，它分两条定理……”
听到‘1931’这个字眼，李莹的眉头忍不住抖了抖——哪有人学