手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如,引入大基数可以证明二阶算术的完备『性』。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造『性』公理是相互矛盾的。
“对于贵学派来,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的理体系之内实现……”
“但若是引入强不可达基数,扭曲理体系,便是海阔空……”
“是以,证明不可达基数谱系的安全『性』,便是证明基派几轮的安全『性』……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来,引入理体系,引入选择公理,扰『乱』连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,是这样,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的道。
封先生的宠爱 七零空间小娇女 穿书之末世娇宠 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 人人都爱马文才 天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 九子登云的作品武裂苍穹 神道丹帝叶尘苏傲雪全本免费阅读 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 就想和你在一起 玄学大佬在现代 武裂苍穹秦天青儿百度云 周一见 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 武裂苍穹秦天青儿全集免费阅读 穿成大佬假妹妹 一觉醒来怀了崽
顾铮实在被庶娘作的没有办法,哪怕那个男人看不起自己,只好咬牙嫁了。她觉得在这个世界她是女配的命,所以活的循规蹈矩恪守本份。结果,男人一转眼变成了公爵府的外室子?外室子被扶正要去做小公爷了,公爵府嫌弃如果您喜欢外室之妻,别忘记分享给朋友...
有人说,后宫是女人权利的巅峰,尔虞我诈,勾心斗角,比官场还要险恶。冉浮云觉得,后宫是一个战场,只有一个赢家。前世的她,唯唯诺诺,一心求稳,却遭人陷害,只能在冷宫中一杯毒酒结束。重活一世,她已浴火重生,挡我者,必将万劫不复。...
我以为亮剑是我战争生涯的结束,没想到却是开始。为了生存,我去了太平洋战争。去了珍珠港。去了中途岛之战。我还去了兵临城下和硫磺岛。我甚至还去了举起手来??系统,出错了吧???如果您喜欢从亮剑开始的战争系统,别忘记分享给朋友...
原以为进入修仙者的世界,一直修行到世界的顶端,会有一天飞升到仙界的,却没有想到的事还能回到蓝星上与家人相聚...
叶栗以为只是一场梦,结果梦醒后,身在丧尸横行的末日世界不说,还生了俩爹都不知道是谁的娃。末世太苦,没物资,没关系,反正她祖传是农民,她能自己种农作物!末世人心太坏,斗不过,没关系,反正娃他爹是超级大BOSS,找大BOSS当靠山,谁还敢欺负他们娘三!如果您喜欢末世种田带着萌宝去寻夫,别忘记分享给朋友...
有一个狐狸,对月长叹有一个女妖,住在道观有一个和尚,天生食肉有一个道士,笑看人间有一个地方,有狐,有妖,有僧,有道。这里是大宋,临安。如果您喜欢临安异,别忘记分享给朋友...