手机浏览器扫描二维码访问
万法门修士走上仙路,就是为了求道,求算学之道。除非杀了他们,否则,他们是不会停止的。
一股末世之感,莫名的蔓延开来。甚至有人不无悲观的不表示,万法门完了。
哀鸿之中,万法门的算家们,却在进行最后的交锋。
基派部分修士们对不可达基数的研究,也逐渐深入。
而不可达基数,确实与可构造类不可共存。
雪国派的反击也同样犀利。
现在,证明可构造类逆论的安全『性』,成为必须。
一个理论是否安全,和它是否可证,没有必然的关系。
一个理论的逆命题是否安全,和它本身,同样没有必然的关系。
或许可构造类本身是安全的。
但是,它的逆命题,同样也有可能是安全的。
围剿之势。
对此,已经前往征司前线的海霆真人却显得异常风轻云淡。
这一场厮杀,是他得到了进步,也对他的道心造成了动摇。他对离宗连宗的分歧,都已经逐渐看淡。
更重要的是……他立于不败之地。
就算可构造类逆命题安全,也不代表可以证伪可构造类本身。
可构造类,是不可证的。
他或许不会赢,但也不可能败。
这样“放弃”一般的示弱,当然不可能让其他人停下。
海霆可以不败,但他们却是要“赢”。
于是,连宗的修士们,便提出了新的方向。
所有的矛盾,都是集中在“内模型”与“可构造类”上的。
可构造『性』公理在理体系【zf公理体系】内不可证否。也就是,理体系内,不存在反例可证见不可构造集合。如果假设,在理体系内,有一个可构造类的扩张——比如,存在一个不可构造的集合,这个假设就等于是可构造『性』公理在理体系下的假设。这样下去,理体系本身就要不一致了。
但是,他们可以假设出一个超穷实体,作为内模型的扩张,然后思考应对这个扩张,构造一个不可构造集合。
只可惜的是,这不是连宗修士能够完成的伙计。
连宗算理,是不包含“无穷”与“超穷”的。
他们将问题抛给了离宗修士。
但是,这个算题,却包含了离宗修士所无法理解的思路。
于是,便是持续了许久的离宗内战。
但是……
苏君宇却喃喃:“妈呀,真的,感谢算君。”
在这一瞬间,只有看过算君手稿、得过海霆、梵巴赫指点的他意识到了这一点。
按照直觉派的思路,他们并不需要考量理体系与其自身加上集合论语句的系统的超穷总体是否一致。
他们只需要在理体系内斩出两个有穷集合,分别对应理体系自身,与理体系、集合论语句的叠加。
然后,不断给两个有穷集合添加两个理论更加详细的“元素”,直到理论翻译函数在两个集合之间的关系之中现象出来,让不一致的证明调用翻译函数。
这简直就像是用某种暴力的途径,不断扩张算学,让算学自己证明自己。
这就是,力迫法。
完成论文的这一瞬,苏君宇气势如虹,再次晋升。
喜欢走进修仙请大家收藏:()走进修仙
天才高手 人人都爱马文才 贵门妾 唐老太的种田生活 周一见 武裂苍穹秦天青儿全集免费阅读 一觉醒来怀了崽 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 九子登云的作品武裂苍穹 神道丹帝叶尘苏傲雪全本免费阅读 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 七零空间小娇女 就想和你在一起 穿书之末世娇宠 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 武裂苍穹秦天青儿百度云
天道信用卡简介emspemsp关于天道信用卡新书造化诸天万界已经上传,并签约,请大家继续支持。一心寻找修炼文明的周天赐意外得到洪荒世界三千法则凝聚而成的混沌不灭灵光,并穿越到陌生的武道世界。后天先天神通。修炼者强大...
重生替嫁大佬甜妻美炸了简介emspemsp关于重生替嫁大佬甜妻美炸了一朝重生,贝瑶成为人人嫌弃,又丑又废,被全网攻击的恶毒妹妹,还被逼代替白莲花姐姐嫁给性格暴戾,双腿残废却不得宠的大魔王易瑾爵。众人幸灾乐祸,等着她被大魔王折磨死。可...
时尚大佬简介emspemsp关于时尚大佬一个小人物,大梦一场后醒来。他纵横商场所向披靡,他百花丛中过片叶不沾身,他被世人称为时尚圈唯一的教父,他建立起一个堪称伟大的时尚帝国...
忻妍,弹琴的时候不能走神,更不能偷偷看本王。别自恋,我那是光明正大的看。王爷,我要成亲了。她,热爱探险,却探到了翎帝国,成了王府侍女,公主皇后欺负她宫女侍女欺负她,最可恨的是王爷也欺负她,老虎不发威,真当她是病猫!什么?还有一个深仇冤屈?不把这些事解决都对不起她自己!什么天下什么君臣,她只认公平,没有公平?那她就创造一个。如果您喜欢琴师傲妃禀报王爷,我要成亲了,别忘记分享给朋友...
李虚收了个女徒弟,饿了徒弟会喂饭,累了徒弟能捏肩,睡觉徒弟帮宽衣。真不是他懒,是徒弟太勤奋显得他有点懒。QQ普群192271096。进VIP群需要2000粉丝值,先加普群,私聊管理员风雪中的赶路人验证。如果您喜欢徒弟太勤奋显得师父有点懒,别忘记分享给朋友...
都市至强神医简介emspemsp关于都市至强神医都市至强神医少年为了履行婚约而从深山走出,左手悬壶济世,右手飞针杀人。未婚妻脾气不太好怎么办?那是我宠出来的,我乐意我的兄弟都喜欢搞事情怎么办?再大的烂摊子,我也能一手撑起!尔等且记住,若我入世,天下无双!...