立的则意味着该命题的荒谬。某非命题的证明，是把该命题的证明变换成荒谬的证明的函数。

荒谬的标准例子可以在算术中找到。假定0=1，并进行数学归纳法：0=0通过等同公理得到；（归纳假设）如果0等于特定自然数n，则1将等于n+1，但是因为0=1，所以0也等于n+1；通过归纳，0等于任何数，所以任何两个自然数都是相等的。

这显然是荒谬的。

或许用自然语言来叙述，这就是一个低等的笑话？但是在算理上，它确实是存在着重要的地位。

而几乎是同时，另一位连宗逍遥修士，也独立完成了类似的成果。

他用一种离宗修士看来有些怪异的形式，重写了离宗的重要成就——算术公理。

这一下子，整个万法门都开始变得一片混沌了。

所有用研究算学理论的修士都陷入了对三个问题的思考之中。

——我是哪边的？是连宗还是离宗？

——我在研究什么？朝哪个方向？

——我的队友是谁？歌庭派？冯落衣？基派？雪国派？还是少黎派？

这是前所未有的大混乱。

尽管历史上，连宗会吸收离宗的成就，离宗会吸收连宗的成就，但那都是基于“转化到一个算学基础上”所完成的。

以几何融合算术，以分析容纳几何，这样。

但现在，全乱了，离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。

你研究一段之后，我在你的基础上继续研究一段，紧接着你再在我的成就上进行研究。

中古数家离宗连宗分裂之后，四万年来，头一次出现这样混乱的景象。

离宗和连宗的分割依旧异常明显，但是，研究上却打成一团。

可以说，他们就纯然是乱战了。

尤其是向来超然与争斗之外的雪国派，以及虽然新近成立，却始终气势汹汹的基派，都是不可忽视的力量。

同为连宗，雪国派与少黎派之间也存在分歧。

同为离宗，基派与歌庭派之间关系也不融洽。

大家彼此都杀成了一团。

甚至有些极端的弟子，终于开始不再区分离宗连宗了。

凡是与我方不同的万法门弟子，都可以算是“敌人”！

随着理论层面的混战，万法门门内也终于渐渐失去稳定。

甚至连维护门规的执律使，都没办法保持纯粹的重力。