第一百零七章 力迫法【第四更】(2/3)

……………………………………………………………………………………

宇历三年的年末，一个围剿网发动了。

最先发作的，是雪国派。

实际上，良基集合伤害的不只有模糊逻辑集合，还有概率逻辑集合。

概率逻辑集合，同样不可能在良基集合上实现。

不同于模糊算学，只有薄筱雅等少数人在做研究。概率论，可是雪国派的主打方向之一。

所以，反倒是与基派最为友好的雪国派，开始发动这一场反击。

而下一波攻击，却是不分离宗连宗了。

谁都不希望分球悖论出现在自己的“算学宇宙图景”之中。连宗必须祛除选择公理这个怪物。而离宗，则必须吃下梵巴赫抛出的东西。

所以，不可达基数，首次进入了大众的视野。

而这一次，基派却终于不再是只有苏君宇，陈由嘉两人出场了。

戴太冲、赵清潭等基派成员，也先后发表了相关论文。

无法无视，不能无视。

算学是客观的，所以不管基派成员情感上如何，都必须参与这一场轰轰烈烈的内斗之中。

而在宇历四年的时候，战火便烧得更烈了。

终于，非万法门弟子发现，万法门这一场动乱所带来的影响，已经超过了不周之劫。

王崎的不周之劫，在一日之内，废了万法门近半的修士。

但现在，万法门大半修士都已经卷入这一场动乱之中了。

只不过，不周之劫，是在一日之内爆发，而且，之前还有《银翼刺客》宣传自我指涉的概念，且仙盟早有预料，所以受损得到了控制。

只不过一日之内损失大量万法门弟子，才使得社会意识之间运转困难。

而现在，则是钝刀子割肉。

每时每刻都有万法门弟子走火入魔。

一开始的时候，大家还能找到人交接那些走火入魔者的工作。

而现在，到处都是满负荷运转。

阳神阁青山崖也是人满为患。

道心崩溃的万法门弟子，越来越多。

种种不便，使得社会问题逐渐凸显。

万法门内部，好像燃起了一团大火，熊熊燃烧，无论是逍遥大修，还是入门者，都不由自主的投入了这一场大火之中，成为了火的燃料。

没有人能够阻止这一切。

万法门修士走上仙路，就是为了求道，求算学之道。除非杀了他们，否则，他们是不会停止的。

一股末世之感，莫名的蔓延开来。甚至有人不无悲观的不表示，万法门完了。

哀鸿之中，万法门的算家们，却在进行最后的交锋。

基派部分修士们对不可达基数的研究，也逐渐深入。

而不可达基数，确实与可构造类不可共存。

雪国派的反击也同样犀利。

现在，证明可构造类逆论的安全性，成为必须。

一个理论是否安全，和它是否可证，没有必然的关系。

一个理论的逆命题是否安全，和它本身，同样没有必然的关系。

或许可构造类本身是安全的。

但是，它的逆命题，同样也有可能是安全的。

围剿之势。

对此，已经前往征天司前线的海霆真人却显得异常风轻云淡。

这一场厮杀，是他得到了进步，也对他的道心造成了动摇。他对离宗连宗的分歧，都已经逐渐看淡。

更重要的是……他立于不败之地。

就算可构造类逆命题安全，也不代表可以证伪可构造类本身。

可构造类，是不可证的。

他或许不会赢，但也不可能败。

这样“放弃”一般的示弱，当然不可能让其他人停下。

海霆可以不败，但他们却是要“赢”。

于是，连宗的修士们，便提出了新的方向。

所有的矛盾，都是集中在“内模型”与“可构造类”上的。

可构造性公理在天理体系【zf公理体系】内不可证否。也就是说，天理体系内，不存在反例可证见不可构造集合。如果假设，在天理体系内，有一个可