为一个道标，指引神州算学的发展，特别是应用算学的发展。”
“无论是理论层面还是应用层面都很强。我们原以为有了你的一阶完备律，在算学逻辑上能够领先一步，没想到我们既高看了自己，也小看了算君。”冯落衣摇头：“不愧是曾以一人之力压服整个万法门的绝世强者。”
他是万法门较年轻的逍遥。他踏入修行路的时候，正是希柏澈崛起、万法门两代强者交割的时候。而他成道逍遥的时间也是仙盟建立前后，算君没过多久就离开神州镇守别处。因此，冯落衣并没有直面那位暴君的机会。
“高看了自己？”王崎揣着明白装糊涂：“完备性的证明有差错？”
在哥德尔之前，根本就没人怀疑语义和语法之间存在矛盾，有些概念靠人类的语言根本无法定义，有些问题自无法用现有的逻辑来理解。用脚趾想也应该想得到，算主几乎不可能得到他梦寐以求的结果。
但是，又是科学发展就是这样。算主在那儿撞南墙，不可能证明普遍、广泛的完备性。但是，这一过程当中他们势必会验证一些走不通的路，提出一些无心插柳得出的理论。这些成果会成为以后数学发展的基础。 如果可以的话，王崎甚至希望将歌庭派的众多逍遥引导到地球