第682节

闹不明白李谕想说什么了，“院士先生，这……”

李谕继续说：“德国的数学家马上就会给出证明，任何一个包含皮亚诺算术公理的公理体系，如果它是自洽的，那在这个体系内，就一定存在某个命题既不能被证明也不能被证伪。换句话说，就是自洽性和完备性不能同时满足。”

李谕说的当然就是大名鼎鼎的哥德尔不完备定理，只不过哥德尔还没给出证明，不过提前说说无妨，反正国内还没几个人知道这么高深的数学内容。

“您能再说一遍吗？”

他们显然没听明白这句话。

于是李谕又重复了一遍哥德尔不完备定理的内容，然后说：“现在已经有很多例子佐证，比如刚刚到访中国的罗素先生提出的理发师悖论。”

“某个城市中，有个理发师，他只给本城所有不给自己理发的人理发。那么他到底该不该给自己理发？”