系的公理化与完备性证明！
&&&&那些工作，当只是细枝末节。当前最重要的，是在一阶逻辑完备之后。证明多阶逻辑的完备性！
&&&&完备性！这才是算学近道的有力证明，是万法门求道之路的根基所在。?&&w?w?w?.?u?8xs`
&&&&他必须对着那些歌庭派的同道指出这一点。
&&&&尤其是冯落衣。
&&&&希柏澈自己的天赋，其实并不如何。其他人对他的评价，也多是“可造之材”“以勤补拙之人”。对于这位天赋远胜自己、但是研究方向随性而为、分散而不成体系的老朋友，希柏澈一直希望自己能够引导他走上正路。
&&&&只可惜，整个会议，冯落衣都面无表情，让人看不出他在想什么。
&&&&散会之后，希柏澈又点名让艾克蛮等几个精通算理逻辑的修士留下来。他道：“现在形势不容乐观。算君说我的理论存在漏洞，十有**不是胡说。这一次，我打算重头检视自己的理论。你们留下来，我们先来讨论这一章节……”
&&&&看到自己老师这个样子，艾克蛮忍不住道：“老师，您是否觉得，我们现在前进的方向有些问题？”
&&&&希柏澈沉吟片刻，道：“或许是有一点。我在编篡万法算藏的时候，也感受到了阻力……但是，至少算学的完备性不容置疑。你能够想象出残缺的算学吗？”
&&&&艾克蛮痛苦的闭上了眼睛，努力将心中的担忧压下，使之不显露在脸上。
&&&&我当然不能想象出残缺的算学。所有从已知算学领域出的算家，都不可能看出来。
&&&&现有的体系，还在完备的范围之内。
&&&&但是，这不能说明这个“残缺”不存在。
&&&&算学的残缺，在我们的视线之外啊！
&&&&……………………………………………………………………
&&&&万法门，集训地内。
&&&&“哥，这里怎么解啊！”薄筱雅凑到薄笑风跟前，低声询问道。
&&&&“哦，这里啊。这个思路有些特别……”薄笑风低声解释了薄筱雅指出的算题。
&&&&解完题之后，薄筱雅头疼的趴在桌子上：“我从没想过，原来学习算学也能这么痛苦……我真的不喜欢这个领域……”
&&&&她是被门派强征过来的。在低阶弟子当中，能够理解这个领域的人，并不多。
&&&&“我也是啊……没意思。”薄笑风摇摇头，又转头去看苏君宇。
&&&&这个时候，苏君宇与并没有解题或者研究什么。他只是抱着一本笔记在啃。只有有些奇怪，那份笔记上的字迹并不是他的。
&&&&“这是什么？”
&&&&“一个师弟在外面写的一些东西……哦，就是王崎。”
&&&&“王崎？”薄笑风有些惊讶：“你读他的笔记作甚？他又做出什么了不得的成就了？还是说你在和他合作？”
&&&&“都不是。”苏君宇将自己手中的笔记递了出去，道：“你自己看看吧。”
&&&&“我看了什么还没表的好思路。你可别怪我提前做出来啊。”薄笑风大为好奇。他翻开笔记本，看了起来。薄筱雅也凑了过来。可是很快，这兄妹俩就失望了。
&&&&“这笔记，完全就是蒙学水平吧……只不过研究得深了一点。”薄筱雅嘟起嘴。有些不满：“王师兄居然在这个……这个方面浪费自己的天赋？”
&&&&这本笔记，就是王崎给谪仙苟大宝讲课之前做的准备。之前，苏君宇和他合作推广数据化修法的时候，他将这个笔记给苏君宇
