出名的逻辑论法，叫做对角线法。这是特殊的反证法。而格奥尔格·康托尔、库尔特·哥德尔、阿兰·图灵三个人的名字连成了一条线，这条线贯穿了数学逻辑的所有，被称为“金色对角线”。

　　而在神州，历史出现了奇妙的偏差。

　　哥德尔没有诞生，黄金的对角线从中间断裂了。

　　万法门康门主曾威震神州，机老图灵永镇扶桑，但哥德尔却神奇的没有出现，他的成果也没有被任何人再现。

　　神州的数学家没法经过哥德尔连出的对角线结晶，他们选择了另外的方法构造自己的逻辑。有的算家致力于打造一个比皮氏公理更大更强的体系，绕过这个天坑。而更多的算家则在希柏澈的带领下，向着一个可望而不可及的理想体系今法。

　　“原来如此吗，看来论文的润色工作也不是很轻松嘛。”

　　王崎思量了一阵，推开门喊道：“东家啊，有什么事现在快商量吧，我接下来几天要润色论文，很忙的！”