手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
四目道长徒儿,赶尸之道,为师已经全传给你了!齐漱溟徐君明,我蜀山与你势不两立!孙悟空僵尸叔叔聊斋蜀山剑侠传西游记封神榜,错过‘九叔’,没拿到主角模板的徐君明流浪在诸天世界!...
那一天,我亲眼看到歹徒绑架了我妈故事,从此开始!某日,某市,某街道,女人独自彷徨的走着,男人突然从小巷子窜了出来,拦住了女人的路!站住,...
传闻之中,九天之上,通天仙路,无上仙门,一踏而过,便可永生。然而修仙者为求永生,前赴后继,为何又成为苍天眼中的毒瘤?人有法术,仙有仙术,天亦有天术。天术镇压一切,乃万术之祖,世间万法莫不始于天术。苏夜,一个穿越而来差点被当做祭品献祭给九天仙神的卑微生灵,又将怎样踏遍万仙,一破仙门?各位书友要是觉得一术镇天还不错...
在任意世界中历险,在时空中游走!只有你想不到,没有他做不到!亲情!友情!阴谋!陷阱!一切尽在,吴限宇宙!已有完本潜鼠勿用!质量保证,大家可以安心阅读!...
太后废长立幼是哀家做得最错的一件事,昏君,哀家要废了你。摄政王错失皇位,尽心尽力辅佐换得挫骨扬灰,昏君,我要篡位做明君。顾娴昏君,你无情,你花心,我要嫁你叔叔,做你婶娘。温柔自带锦鲤体质,集万千宠爱,吸干昏君运道。昏君朕太难了。温暖战地记者现场吃瓜。总结最落魄的我遇见最好的你,若你求一世安稳,那这盛世...
年少轻狂,只为追求理想。豪情万丈,只为缔造辉煌。携手并进,誓言创造奇迹。不离不弃,患难生死与共。天涯海角,相拥天长地久。无毒不丈夫。有志纵天行。...