个奇异的事实。对于任意命题,存在对应的非命题,其非命题成立的则意味着该命题的荒谬。某非命题的证明,是把该命题的证明变换成荒谬的证明的函数。
荒谬的标准例子可以在算术中找到。假定0=1,并进行数学归纳法:0=0通过等同公理得到;(归纳假设)如果0等于特定自然数n,则1将等于n+1,但是因为0=1,所以0也等于n+1;通过归纳,0等于任何数,所以任何两个自然数都是相等的。
这显然是荒谬的。
或许用自然语言来叙述,这就是一个低等的笑话?但是在算理上,它确实是存在着重要的地位。
而几乎是同时,另一位连宗逍遥修士,也独立完成了类似的成果。
他用一种离宗修士看来有些怪异的形式,重写了离宗的重要成就——算术公理。
这一下子,整个万法门都开始变得一片混沌了。
所有用研究算学理论的修士都陷入了对三个问题的思考之中。
——我是哪边的?是连宗还是离宗?
——我在研究什么?朝哪个方向?
——我的队友是谁?歌庭派?冯落衣?基派?雪国派?还是少黎派?
这是前所未有的大混乱。
尽管历史上,连宗会吸收离宗的成就,离宗会吸收连宗的成就,但那都是基于“转化到一个算学基础上”所完成的。
以几何融合算术,以分析容纳几何,这样。
但现在,全乱了,离宗和连宗从没有这样相互争夺一个领域过。他们几乎是在以接力跑的形式进行研究。
你研究一段之后,我在你的基础上继续研究一段,紧接着你再在我的成就上进行研究。
中古数家离宗连宗分裂之后,四万年来,头一次出现这样混乱的景象。
离宗和连宗的分割依旧异常明显,但是,研究上却打成一团。
可以说,他们就纯然是乱战了。
尤其是向来超然与争斗之外的雪国派,以及虽然新近成立,却始终气势汹汹的基派,都是不可忽视的力量。
同为连宗,雪国派与少黎派之间也存在分歧。
同为离宗,基派与歌庭派之间关系也不融洽。
大家彼此都杀成了一团。
甚至有些极端的弟子,终于开始不再区分离宗连宗了。
凡是与我方不同的万法门弟子,都可以算是“敌人”!
随着理论层面的混战,