手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
——不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
——不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧——毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
叶凌天,神秘部队退伍军人,为了给妹妹凑集五十万的治疗费用不得不给三元集团的千金小姐李雨欣当贴身保镖。且看经历过太多生死的铮铮硬汉叶凌天如何在这个繁华都市里走出属于自己的一条不平凡的路来。...
我叫姜四,是一只活尸,有着人的身躯,僵尸的心脏,左手手背上,还有一只饕餮之眼,专门以恶鬼怨气妖龙为食物。二十年前,我被一群盗墓贼从棺材里挖出来,从此走上了探阴墓寻龙穴吃恶鬼的一条不归路。群号263043306...
在娱乐圈躺赢了一辈子的方澈穿了。直接穿到天后许青蒂的演唱会上,并且作为幸运粉丝上台合唱。许青蒂帅哥,今天想合唱我的哪首歌?方澈不认识这位天后,也不会唱她的歌,只能硬着头皮要不,我来首新歌吧。他是写出青花瓷的叶湘伦,是天才作家,是网剧鼻祖本书又名从天后演唱会开始乱杀建了个群812693913...
东宫来了一位身娇体弱的下堂妇,刚开始东宫储美没把这位弃妇放在眼里。谁知她今日偶感风寒,明日抱恙在身,引得太子殿下日夜照顾。这照顾着照顾着,还把人照顾到榻上去了,气得众美大骂她是臭不要脸的白莲花。太子萧策清心寡欲半辈子,直到遇上秦昭。他以为秦昭可怜,离了他活不下去,于是让她暂住东宫,日日夜夜娇养着,这娇着养着,后来就把人占为己有,食髓知味。后来他登基,每次上朝看到秦昭前夫那张脸,都要对秦昭来次灵魂拷问朕可还让昭昭满意?穿书,双洁,甜宠...
偶得上古神帝之传承,身为赘婿的萧凌然,新的人生开启。纵横都市,唯我最强!...
王者之路张牧简介主角张牧李晴晴穷是一种病,我得了十年的绝症,直到那天我爸出现,让我百病不侵!一个寒门出生,如何才能继承世界第一家族罗斯柴尔德!...