手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
月薪十万,女总裁她果然不只是让我当司机 穿进语文书,从刺猹开始 建立帝国从骑士次子开始 什么?奥特曼是终身制的? 我,地球唯一超能力者 我的修真小米三 西游:六岁熊孩子,开局怒怼观世音 舌尖天下 谭笑风声里,灼灼桃之夭 敛财心 运河之韵 大明:开局剧透崇祯,重振河山 盛世花都 道化九界 万苍天穹 网游航海之王 巨树领主 灵异直播,女主她不想吓人 巫妖生存指南 先婚后爱:娇妻拒婚101次
顶级厨师徐婉宁意外穿书,苦逼拿到恶毒女配剧本!还好她的生鲜超市跟着一起穿来了。从此徐婉宁疯狂做美食,勤勤恳恳发家致富,狂刷两萌娃和冰山男主的好感度,撕破原书女主的白莲花嘴脸,挽回她恶毒女配的凄惨命运。冰山男主(好感度250)徐婉宁,你又在作什么妖!暖男男主(好感度520)老婆,抱抱某恶毒女配抱就抱,老实点!孩子在旁边看着呢!俩萌娃ˇˇ你们继续...
何谓强者?一念可碎星河!何谓弱者?一命如同蝼蚁!楚轩天纵奇才,为救父亲甘愿自废武魂,断绝前路!守孝三年,终得九转神龙诀,炼诸天星辰,踏万古青天,铸不朽神体!任你万般法门,我一剑皆可破之!剑气纵横十万里,一剑光寒三千界!楚轩我不问前尘,不求来生,只要这一世的轰轰烈烈!...
全宠无虐团宠马甲父亲仟仟,虽然他是个瘫痪,可只要你嫁给他,咱们家的公司就不用破产了!母亲而且你妹妹的心脏病也能得到最好的医治。未婚夫这样你不但可以从他那里帮我争取到资源,还能保持身心干净!大家都觉得景仟实惨年纪轻轻就断送在了一个瘫痪手里。不但要在幕后帮妹妹写歌,给她打造音乐小天才人设,还...
关于商场在我家,致富虐渣全靠他上一世,木珍珍被渣男江青白抢走好运符,又被庶大房一家害得家破人亡。几个哥哥更是死得凄惨,她也被卖遭受折辱而死。灵魂跟着师父在现代四处游历了几十年,始终忘不了灭家之仇。师父在临终前,拼尽全力将她送回道被骗走好运符的那天。她发誓,一定会让那些害他们的坏人,得道该有的惩罚。本打算在万能商场的帮助下,先变强,变富,再慢慢收拾坏人,可是坏人太着急,蹦来蹦去不消停,她只得几手抓。顾某人上一时眼瞎,认错了自己的恩人,间接害死了恩人全家。这个一世他还债来了!...
换嫁宅斗打脸爽文暧昧宠妻前世,继妹抢走沈知初的婚事,将她迷晕扔给屠夫。可抢来的夫君是个奸臣,最后株连九族,继妹身首异处。反而,屠夫参军步步高升,沈知初做了将军夫人,封诰命。重生一世,继妹死心塌地的下嫁屠夫,却不知那些荣耀都是沈知初的苦心谋划。看着愚蠢的继妹,沈知初两手一摊,转头嫁奸臣。奸臣好啊,一心造反,不贪女色,她拾掇拾掇,哎嘿,养得根正苗红。后来,继妹急了,悔了。可惜奸臣已经口嫌体正,抱着亲亲夫人满腹委屈夫人在意这,在意那,甚至在意外人,怎么就不能多在意在意为夫呢?顺便扫了眼继妹,你谁?...