第一百零七章 力迫法【第四更】
��过一日之内损失大量万法门弟子,才使得社会意识之间运转困难。

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

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

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

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

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

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

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

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

  没有人能够阻止这一切。

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

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

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

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

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

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

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

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

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

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

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

  围剿之势。

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

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

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

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

  可构造类,是不可证的。

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

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

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

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

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

  可构造性公理在天理体系内不可证否。也就是说,天理体系内,不存在反例可证见不可构造集合。如果假设,在天理体系内,有一个可构造类的扩张——比如说,存在一个不可构造的集合,这个假设就等于是可构造性公理在天理体系下的假设。这样下去,天理体系本身就要不一致了。

  但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。

  只可惜的是,这不是连宗修士能够完成的伙计。

  连宗算理,是不包含“无穷”与“超穷”的。

  他们将问