妙的推演，证明了一阶谓词演算下，所有有效公式都可证。它的用最严密又最出人意料的演绎得出了一个让人振奋的结论，有效的证明了一阶逻辑的完备，使我们更加有理由相信，我们的算学是建立在坚实的地基之上的。另外，这个定理第一次在模型论与证明论之间建立了联系，为我们以后的工作开辟了新的道路。”
“论文是元算问领域的重大突破，逻辑缜密，层次分明，且文献详实，是不可多得的优秀论文。”
王崎微微有些脸红。这篇论文虽然大部分都是自己完成的，不过最核心的部分到底是来自地球数学家的。
不这种情绪只不过是在心底一闪而逝，取而代之的是一阵狂喜。
很好，这样就算是得到初步的承认了！
王崎可以肯定，就凭着算主的这一篇评价，就不会再有人出现质疑王崎的身份了。开玩笑啊，刚刚离开仙院几个月就做出这样的成就，其他的真传做得到吗？
“其其其实后面还有……”梁锦在王崎身边提醒了一句。
王崎看了梁锦一眼，似乎有些明白这些想要都是打成一片的外门弟子今天怎么这么拘谨了。王崎又往后翻了两页，结果发现在起开最前面的五页里居然有三篇是综述性质的文