不像很多意义重大的数学证明——比如孪生素数猜想的证明，不完备和不可判定的证明其实相当简单。?
参加这次集训的诸多万法门弟子，三观已经经过了多次洗礼，心中早就对算学的完备性、一致性和可判定性生出了一丝怀疑。
现在，阻碍他们继续深入下去的，除了长期以来的主观经验之外，还有来自经典的解读。
那些“经典”，多半多是算主书写的。
与算主同为歌庭派当世之代表人物的冯落衣给了“完备性”最后一击，众人观念之中的知见障便开始破碎。
而不可判定性的证明，也一并教给了他们
冯落衣最后对所有人说道：“现在，我们也只公开了第一阶段的论文，《试论&1t;万法算藏>卷一算术篇中形式上不可判定之陈述及相关系统》。众人只知完备性的丧失。有些修士，甚至还对此一无所知。
而很快，我们还要公布第二阶段的论文《论可计算数及其在判定定理上的应用》。那将会引更加巨大的冲击。
现在，你们就要挥出你们这几个月集训的成果，用尽一些办法，温和的告诉你们认识的万法门弟子，完备性和可判定性都已经成为了历史。这就是你们现