第542章 你略懂？（2 / 3）

“包含初等算数理论的意义是它包含所有正整数（无穷元素）。而命题和证明都可以被映射到正整数。另一方面……”

“所构造的语句Α类似于“说谎者悖论”，即，这句话在说谎，但a是“本语句不可证”……”

“不完全，那么包含的n不完全，那么包含n的形式系统不完全。得证。”

别管这对不对，反正，在当池远说到两个公理的具体内容时，吴平已经开始头皮冒汗、汗流浃背了。

‘皮亚诺公理’他知道，皮亚诺提出的关于自然数的五条公理系统。

但整句话合起来，意思都懂，但怎么理解不明白？

再听证明思路，他已经听不下去了，满脑子都是——

这特么刚高中毕业？

问题是，领导提这题当面试题目，他们实习生要求这么恐怖……那他这个正式员工？

答不上来啊！

挫败！

吴平闭着嘴，不说话，不敢说话，他突然觉得自己又需要学习了。

不过，他现在基本认定了——没有人给池远和乔英子提前透题。

他们一块来的，本事也应该相差不多。

这面试是领导让他随便翻的，除非池远把整本提前背下来……感觉更牛逼了。

能答出来，只能说是真本事。

虽然有些不可思议，但这类似少年班天才甚至比之更牛逼的两人，即将成为他们院的实习生。

虽然他们院也不能说标准不高，但这种天才真的很少往他们这儿钻的。

李莹也同样受到了巨大的震撼。