突然，有一些算家发现自己的话语问不出口了——他们在这万仙幻境当中开不了口了！这时，只见图灵真人站起来，对着四方拱拱手，温和笑道：“诸位，可允许我去问几个问题？”

也只有这位浸淫算器领域数百年的强大逍遥，才能在这片幻境之中以一压多。纵有人不满，也只能在这个时候选择乖乖听好。

图灵真人站起来，对着王崎问道：“王道友，我想同你讨论一下函数的极限……”

图灵一开口，就让其他人愣住了。

这个……这位逍遥，究竟是站在哪边的？

看他和冯落衣坐在一起，不应该是来帮助王崎的吗？

为什么他问出的问题，比绝大多数人问出的问题都要尖锐？

王崎笑了笑：“最近我也有一些新的想法……”

在王崎解答了这个问题之后，图灵真人立刻问出第二个问题来。

“你有没有考虑过具备无限条公理的公理系统？”图灵问道：“每一次加入一条新的公理，新的公理系统就比原有的公理系统更加强大。每一个公理系统都在解释前一个公理系统。样子的话，每一个系统都是一直无矛盾的。这样，我们重复无数次，添加可数而无穷的公理。这样的话，我们无论使用了多少条公理，总有更强大的一条公理证明前面的公理一致无矛盾，那么，这个系统便称得上是无懈可击吧？”

“我也这么认为。可是，很遗憾，这种拥有无限公理的公理系统毫无意义。”王崎道：“我们必须先熟知一个公理系统当中所有的公理，才能根据这个公理系统做出判断。若是一个公理系统有无穷的公理，我们便不可能知晓它能够陈述什么、判断什么……”

两个人的问答，越来越流利，也越来越畅快。渐渐的，周围的异动小了下来。

图灵真人，分明是用更加系统化的方式、从更加深入的角度，将他们察觉出的种种不足给问了出去。

而在这种前提之下，王崎还能够对答如流，无数有不完备衍生出的定理、对不完备证明的补充，还有新的算器技术，都在图灵真人和王崎的一问一答当中展现了出来。

闵可夫哼了哼，不屑的在私聊当中低于：“双簧而已……他们两个绝对是对好了的。图灵就是一个托！”

何外尔苦笑：“可就算是托……那也是非同凡响的。至少，我是问不出口了。”