数学，还记定理是什么时候提出、发表的？
“第一条定理指出：任何自洽的形式系统，只要蕴含皮亚诺算术公理，就可以在其中构造在体系中不能被证明的真命题，因此通过推理演绎不能得到所有真命题（即体系是不完备的）。”
“第二条定理指出：任何逻辑自洽的形式系统，只要蕴含皮亚诺算术公理，它就不能用于证明其本身的自洽性。”
“要想证明，只要证明初等算数数论Π是不完全的，采用相同的方法就可以证明任何包含Π的形式理论都是不完全的。”
“证明证明Π的不完全性的关键是在于构造出初等算数语言中的一个含义为真的语句Α……”
“包含初等算数理论的意义是它包含所有正整数（无穷元素）。而命题和证明都可以被映射到正整数。另一方面……”
“所构造的语句Α类似于“说谎者悖论”，即，这句话在说谎，但a是“本语句不可证”……”
“不完全，那么包含的Π不完全，那么包含Π的形式系统不完全。得证。”
别管这对不对，反正，在当池远说到两个公理的具体内容时，吴平已经开始头皮冒汗、汗流浃背了。
‘皮亚诺公理’他知道，皮亚诺提出的关于自然数的五条公理系统。
但整句话合起来，意思都懂，但怎么理解不明白？
再听证明思路，他已经听不下去了，满脑子都是——
这特么刚高中毕业？
问题是，领导提这题当面试题目，他们实习生要求这么恐怖……那他这个正式员工？
答不上来啊！
挫败！
吴平闭着嘴，不说话，不敢说话，他突然觉得自己又需要学习了。
不过，他现在基本认定了——没有人给池远和乔英子提前透题。
他们一块来的，本事也应该相差不多。
这面试是领导让他随便翻的，除非池远把整本提前背下来……感觉更牛逼了。
能答出来，只能说是真本事。
虽然有些不可思议，但这类似少年班天才甚至比之更牛逼的两人，即将成为他们院的实习生。
虽然他们院也不能说标准不高，但这