手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
冷血老公太温柔 穿越之我不想做驸马 虐仙记 神雕战神 流浪仙人 为师实在是太弱了 枫灵大陆 我是来种地的 顾辰神武霸帝 反派:黑化女主们,跪求我当坏人 赘婿当道全文免费 阅读小说最新 重生乐神 跃马西凉 换嫁后发现质子夫君他爱我 清穿后我绑定了强国系统 毕业就结婚吧 我在游戏世界搞基建 未来之树 我真的只想做角色球员 黑夜之眼
肉身不破,灵魂不灭,为了回到穿越前,为了再见到他可爱的女儿,不断引起星域乱战,一个不死强者,重启纪元,回归平凡,从此一个无敌奶爸诞生了。续集,正在新书连载着...
刚发现自己会被裴聿城的意识附身时,林烟是拒绝的。明明在酒吧蹦迪,一醒来,躺在了荒郊野岭。明明在家里打游戏,一醒来,站在了欧洲大街。明明在跟男神烛光晚餐,一醒来,站在了男洗手间。这日子没法过了!后来的林烟大佬求上身,帮我写个作业!大佬求上身帮我考个试!大佬求上身,帮我追个男神!大佬听说生孩子挺疼...
...
穿越2006,喜获神级教练系统。帮助姚麦夺冠,圆无数中国球迷心中的冠军梦。当雷霆四少留守俄城,一个崭新的支平民球队,又如何把不可一世的勇士王朝掀翻下马。一次穿越,一段关于有完本作品重生之安东尼篮神体坛之召唤猛将,人品有保证,放心收藏阅读。阅群539855046,进群需晒学徒以上粉丝值。...
下载客户端,查看完整作品简介。...
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿,后随老厂长进京,成为中央某部后备干部,并被下派到蓟原市任市长。然而,官运亨通的他因为妻子的奸情发生了婚变,蓟原市急欲接班当权的少壮派势力以为他没有了后台,便扯住其年轻恋爱时与恋人的越轨行为作文章,将其赶下台,多亏老省长爱惜人才,推荐其参加跨国合资公司总裁竞聘,才东山再起然而,仕途一旦顺风,官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上,他又被推举到了省长的重要岗位。一介平民跃升为省长...