手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如,引入大基数可以证明二阶算术的完备『性』。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造『性』公理是相互矛盾的。
“对于贵学派来,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的理体系之内实现……”
“但若是引入强不可达基数,扭曲理体系,便是海阔空……”
“是以,证明不可达基数谱系的安全『性』,便是证明基派几轮的安全『性』……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来,引入理体系,引入选择公理,扰『乱』连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,是这样,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的道。
替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 人人都爱马文才 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 周一见 玄学大佬在现代 就想和你在一起 贵门妾 武裂苍穹秦天青儿百度云 七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 唐老太的种田生活 神道丹帝叶尘苏傲雪全本免费阅读 武裂苍穹秦天青儿全集免费阅读 一觉醒来怀了崽 九子登云的作品武裂苍穹 封先生的宠爱 天才高手 穿书之末世娇宠 穿成大佬假妹妹
快穿之娘娘又跑了简介emspemsp甄善,貌若天仙,心若恶鬼生前为祸国殃民的妖妃娘娘,死后是搅得地府不得安宁的恶鬼阎王为了送走这位姑奶奶,奉上了一份成神卷轴娘娘,您还是踏着祥云,去祸害神吧!成神需条件,请娘娘收集百位上神大能的心!...
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹,别忘记分享给朋友...
修的是舞道之剑。走的是猫步身法。练的是钢筋铁骨。生的是面若桃花。一体双魂,同体双修。英雌娇躯,横推江湖。纳万千武道。演诸天圣典。左剑右剑皆为我剑。英雄枭雄唯我雌雄。宁中则我这一剑的骚,你领会到了吗?如果您喜欢横推诸天从女装大佬开始,别忘记分享给朋友...
八零后的重生传奇简介emspemsp关于八零后的重生传奇一个不懂技术,不懂管理,不懂创作,甚至金融知识也就业余水平的重生者回到他高考前夕,通过前世的记忆,寻找发现招募各个领域牛逼的人物和精英,让自己旗下的企业成为互联网,半导体,手机通讯,文化娱乐,金融多个领域内全球数一数二的巨头。进而建立起一个超过三星集团的大财团。主角也借此从一个平凡的普通人一步步成长为一个活着的传奇。...
夏日的北京,繁忙的街道上充满了熙熙攘攘的人群和车辆。刚刚从瑞士大学回国度假的李晨曦站在首都机场的出口,深深地吸了一口气,感受着熟悉而又陌生的空气。作为一个在一线城市长大的男孩,他对北京的一切并不陌生,但离开了一段时间,再次回来却有一种久违的亲切感。李晨曦走出机场,搭乘出租车前往市中心的家。他的家位于繁华的商业区,周...
丹武同修简介emspemsp关于丹武同修联合其他宗门的强者一起打败强大的对手后,一个丹武同修强者的武道修为有了突破瓶颈的节奏。于是,他就欢乐的闭关修炼,没想到的是,在他将要突破的一瞬间,突然遭到师弟的偷袭。他的肉身陨灭,...