新浪中文网

手机浏览器扫描二维码访问

第一百零七章 力迫法（第3页）

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

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

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

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

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

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

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

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

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

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

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

围剿之势。

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

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

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

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

可构造类，是不可证的。

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

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

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

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

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

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

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

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

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

他们将问题抛给了离宗修士。

但是，这个算题，却包含了离宗修士所无法理解的思路。

于是，便是持续了许久的离宗内战。

但是……

苏君宇却喃喃：“妈呀，真的，感谢算君。”

在这一瞬间，只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。

按照直觉派的思路，他们并不需要考量理体系与其自身加上集合论语句的系统的超穷总体是否一致。

他们只需要在理体系内斩出两个有穷集合，分别对应理体系自身，与理体系、集合论语句的叠加。

然后，不断给两个有穷集合添加两个理论更加详细的“元素”，直到理论翻译函数在两个集合之间的关系之中现象出来，让不一致的证明调用翻译函数。

这简直就像是用某种暴力的途径，不断扩张算学，让算学自己证明自己。

这就是，力迫法。

完成论文的这一瞬，苏君宇气势如虹，再次晋升。

喜欢走进修仙请大家收藏：（）走进修仙

穿越千年，只为遇见你！  是你攻略不下的女主  雄虫他只想苟命[虫族]  我靠拾荒称霸三界  穿成流放文的极品小姑（穿书）  [原神]为了磕cp我连天理都能推翻  魂穿七零，这个世界我要做大女主  妻调令  十二鬼月横滨结仇日常  怪厨  富婆的快乐你不懂[神豪]  震惊！这个男人能点化智械  重回86：大哥死前托妻给我  再见，我亲爱的封先生  开局被女土匪看中，我占山为王  穿成大佬假妹妹  风刃之芒  夫君热衷于给我捧场  七零夜校女教师  孤手握三十万重兵，你让孤自裁？