奇点文学社

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

第一百零七章 力迫法(第3页)

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

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

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

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

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

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

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

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

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

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

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

围剿之势。

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

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

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

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

可构造类,是不可证的。

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

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

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

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

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

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

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

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

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

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

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

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

但是……

苏君宇却喃喃:“妈呀,真的,感谢算君。”

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

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

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

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

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

这就是,力迫法。

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

喜欢走进修仙请大家收藏:()走进修仙

人人都爱马文才  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  天才高手  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  穿成大佬假妹妹  九子登云的作品武裂苍穹  武裂苍穹秦天青儿百度云  就想和你在一起  唐老太的种田生活  周一见  一觉醒来怀了崽  封先生的宠爱  武裂苍穹秦天青儿全集免费阅读  玄学大佬在现代  神道丹帝叶尘苏傲雪全本免费阅读  穿书之末世娇宠  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  贵门妾  七零空间小娇女  

热门小说推荐
神医毒妃:妖孽王爷枕上宠

神医毒妃:妖孽王爷枕上宠

神医毒妃妖孽王爷枕上宠简介emspemsp关于神医毒妃妖孽王爷枕上宠玄门第三十六代门主,医毒双绝,一身奇脉,竟穿越成了宁侯府痴傻嫡女楚玥安。亲娘惨死,亲爹不疼,刁奴欺辱,继母虐待,姐妹算计,还有一位将她当做奇货的祖母!她楚玥安岂会任人拿捏?奇葩亲人阴谋陷害?谈笑间送去地狱!未婚夫渣男嫌她貌丑?惊艳容貌闪瞎他的双眼!挡我者,打!虐我者,杀!辱我者,诛!本该在彪悍的人生道路上狂奔,却不料惹上了几朵烂桃花...

人在桃花源,养龙被向往曝光了

人在桃花源,养龙被向往曝光了

本书又名(奶爸的田园生活,被向往曝光了),又名(人在桃花源,宠妻带娃的田园生活)现象级第五季向往生活开始录制,节目组一行人,来到了湘南的一处桃花源。原本节目组是来这边拍摄节目的,但是随着直播,发现这里,居然真的有龙!而且这龙,居然还是一个丰神俊朗风男人养的!直播间的观众沃靠,这是凤凰吧?这是龙吧?没想到一个小村庄,龙吟事件,居然是真的!直播间的女观众哇,这小哥哥好帅啊,可惜已经结婚了。苏云表示这是都是我女儿的宠物罢了!如果您喜欢人在桃花源,养龙被向往曝光了,别忘记分享给朋友...

三心两意:替身前妻惹不停

三心两意:替身前妻惹不停

三心两意替身前妻惹不停简介emspemsp关于三心两意替身前妻惹不停五年前,她结婚时就知道老公心里有个初恋,他捏着她的下巴说你只是一个替身,除了钱,其他的别妄想。她以为只要她努力对他好,他总会感动,总会爱上她,后来她才知道,男人...

让你下地挣工分,你带全村开工厂

让你下地挣工分,你带全村开工厂

江晚月游泳淹死,穿到七零成了寡妇。家徒四壁,吃不饱穿不暖,三个崽子嗷嗷待哺。好在她拥有一个聚宝盆。一个鸡蛋,一夜变成二十个!一个红薯,转眼增加一箩筐!除了钱不能增加,所有物资都爆满!江晚月吃饱喝足后,开始计划着办厂子,读大学,日子风生水起。好景不长,死了的老公带着一个女人活着回来了,还想夺走孩子抚养权。长子我爹死...

贞观天子

贞观天子

睁开眼,已是天下大乱。隋末烽烟弥漫,李智云有一个能打的二哥,只要吃喝等死,做个潇洒王,这一辈子就能过上纸醉迷金的日子。可蝴蝶的翅膀轻轻扇动,唐初掀起龙卷风。武德年间,看似太平,实则风云涌动。跟着太子走,还是跟着天策上将二哥走,又或者,自己走。这么着还是那么着,这是莎先生说的话,而现在,一切已经开始。如果您喜欢贞观天子,别忘记分享给朋友...

千亿宠婚:神秘总裁赖上门

千亿宠婚:神秘总裁赖上门

千亿宠婚神秘总裁赖上门简介emspemsp千亿宠婚神秘总裁赖上门是一顾倾城的经典其他类型类作品,千亿宠婚神秘总裁赖上门主要讲述了千亿宠婚神秘总裁赖上门一顾倾城最新鼎力大作,年度必看其他类型。禁忌书屋提供千亿宠婚神秘总裁赖上...

每日热搜小说推荐