手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如,引入大基数可以证明二阶算术的完备『性』。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造『性』公理是相互矛盾的。
“对于贵学派来,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的理体系之内实现……”
“但若是引入强不可达基数,扭曲理体系,便是海阔空……”
“是以,证明不可达基数谱系的安全『性』,便是证明基派几轮的安全『性』……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来,引入理体系,引入选择公理,扰『乱』连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,是这样,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的道。
贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 就想和你在一起 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 天才高手 神道丹帝叶尘苏傲雪全本免费阅读 九子登云的作品武裂苍穹 武裂苍穹秦天青儿全集免费阅读 玄学大佬在现代 穿成大佬假妹妹 人人都爱马文才 穿书之末世娇宠 武裂苍穹秦天青儿百度云 周一见 封先生的宠爱 七零空间小娇女 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 唐老太的种田生活
天才透视医圣简介emspemsp关于天才透视医圣林枫偶然间获得神农传承,从此开启了不一样的人生,他银针救人,上知天文,下通地理...
魂归阴曹十八处,我亦无愧汉家郎。虎狼睥睨九州同,定我华夏万万年。月圆缺,命有定。此生不晓明不惑。抿一笑,自在去。天地大道尽自退。承明皇帝李承乾...
(无系统热血争霸架空历史)方世玉来到了宣和二年,靖康耻的前七年。七年后,靖康二年,靖康之耻发生,北宋灭亡,皇帝被俘,皇后公主嫔妃沦为娼妓,这是华夏历史长河中永远的耻辱。皇帝可以死,但皇后公主嫔妃,不能沦落为外族玩物。北宋也可以亡,但是不能亡于外族之手。既然来了,那么此生所愿,就是阻止这件事的发生。为兄弟,报血仇...
新书刚开评分,分会逐渐提高。第一个世界完结!可宰!姜妤成了快穿局恶毒炮灰部门的员工,开局万人嫌,结局死翘翘。该部门有三好,钱少事多死得惨。每个世界姜妤都在想着如何能减轻自己的死法。只是没想到一番操作下来,身边所有人都觉得她深有苦衷。对着每每惨淡下场的她红着眼,祈求她能回来。世界一古早大女主文的炮灰庶妹。她注定遭...
姜明觉醒了平凡人生系统。只想苟在山上默默的修炼求长生。不惹麻烦,不入险途,一旦因果沾身!就毫不犹豫的斩灭一切牵扯。可他却有一个重生而来的师妹。一个行事霸道,横推一切敌,想要好好守护师兄的师妹。姜明看着要逆伐九天的小师妹,欲哭无泪。如果您喜欢女帝重生师妹太高调了怎么办,别忘记分享给朋友...
万界升级系统从征服火影开始简介emspemsp好想变强啊!叮!恭喜宿主绑定万界任务升级系统,开启变强旅途。什么?你说S级忍术很难得。叮!恭喜宿主获得仙法大玉螺旋丸。什么?你说海军大将很强?叮!恭喜宿主打败海军大将赤犬。昊天锤可是最强武魂!什...