手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
萌宝来袭,宠文爽文,身心干净1v1这是一部娱乐圈双重生文,男女主重归于好,抱着萌娃秀尽恩爱撒尽狗粮的故事。粉丝眼里的靳绍煜性子清冷不善交流无欲无求这年头,怎么能连个微博都没有?一众迷妹实在为他的终身大事而发愁。后来,她们抓狂了,靳影帝不仅不是孤身一人,媳妇还是国民女神?纳尼?还怀孕了?高冷的靳影帝...
正所谓天有不测风云,人有旦夕祸福。贺一凡对这句话的理解是越来越深刻了,自己不就是喝多了给重金求子的广告打了一个电话吗,结果就被女鬼纠缠,差点翘了辫子,从此走上了阴阳路又因为想抓个鬼小弟,得罪了女神阴阳师,从此被这位脾气古怪火爆的女神调戏,成为所有男生的公敌还因为回想经历种种,贺一凡不由得感慨,做男人难,做一个优秀男人更难,做一个无论是女人还是女鬼都喜欢的男人实在是难上加难。...
我叫秦珏,今年十六岁,是玄乙山史上最年轻的师叔祖。也是这个世界上最强大的存在。...
爸爸跳楼自杀,妈妈摔伤成了植物人,钟浈被迫签下合约,与陌生男人生孩子,十月怀胎后生下一对龙凤胎,谁知混乱中她又再次阵痛!原来肚子里居然还有个宝宝存在!她大喜过望,带着仅余的小儿子远离这座城市,三年才敢再回归,万万没想到,缘分的帷幕又一次拉开...
爽文宠文她是21世纪身怀异能术,精通各种毒药的最强赏金猎人,却穿越成炼器世家第一废材。极品家人嫌弃她不会炼器?分分钟炼出一堆灵器闪瞎这些人的狗眼抢她婚约的伪女神是炼药师很了不起?不好意思,她配置的药剂让大陆第一炼药师哭着喊着求拜师天赋全无无法修炼被渣男嫌弃?呵呵,神级修炼体质轻松修炼升级。渣男后悔求复合...
穿越大明朝,成为了木匠皇帝朱由校,那个,我躲在后面,背黑锅我来,送死你们去。书友群645915254全订者可私聊管理加vip群。新书回到明朝做仁君已发,求收藏求投资求月票!...