手机浏览器扫描二维码访问
梵巴赫没有隐藏自己的意图。
但与此同时,他也指出了另外一点。
在一个体系之中,引入的“无穷”越强,那么可以证明的东西就越多。
嗯,这是一个很不“连宗”的说法。
但这就是从内模型的证明过程之中推测出来的。
也就是包括“不可达基数”在内的“大基数”
大基数的好处,也有很多。
比如说,引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论,并且不需要取消选择函数。
比如说,引入大基数可以证明二阶算术的完备性。
这是当年王崎在证明一阶完备之后就停滞不前的道路。
但唯一的问题是……
“大基数”与构造性公理是相互矛盾的。
“对于贵学派来说,推翻可构造类是必然的。王崎所设想的那个,可以执行所有算学的假想实体,算学的根源,根本就不可能在离宗的天理体系之内实现……”
“但若是引入强不可达基数,扭曲天理体系,便是海阔天空……”
“是以,证明不可达基数谱系的安全性,便是证明基派几轮的安全性……”
苏君宇看着这一封信函,仿佛内里有什么魔力一样。
“这算什么?”苏君宇最终也只是叹息:“借助离宗的手,来清除连宗的异己吗?”
不,离宗和连宗的界限,在这一瞬间,也模糊了吧?
苏君宇这样想着。
或许“异端比异教徒更可恨”,并不仅仅适用于神道学领域。
对于连宗来说,引入天理体系,引入选择公理,扰乱连宗完美几何宇宙图景的海霆,比大多数连宗修士都要可恨许多倍。
离宗又何尝不是呢?
歌庭派和苍生国手、机老的分歧,王崎和冯落衣的分歧……
不不不……
苏君宇瞬间甩掉了这样的想法。
至少王崎还没有做出选择哩。
苏君宇这样叹息。
果然是一个烂摊子。
早在数日之前,苏君宇就已经将这封信的部分内容转给了王崎。
他现在还在等待王崎的回复与指点。
“不过,说是这样说,但是,有些事情,可能早就有答案了吧毕竟算学自有自在。”苏君宇躺下,自嘲的说道。
这一两年,基派就是在专心编写《原算》,构建自己的体系。对于这一场论战,就只是无视,或者装死。
神捕乱宋 舞吧,傀儡 死亡神座 黑暗剑圣 霸隋 玄玑图 美女总裁老婆 网游之零纪元 与女精灵的地球生活 重生之天生我才 超级特警综合系统 我叫布里茨 鼎天武帝 纸醉江山 道梦之轮回 兽王三国 苍天霸业 醉卧九天 美女教师的鬼医高手 权柄大明
强势婚宠,宁爷宠妻有点甜...
尹伊络莫名其妙多了个儿子,尹伊络一夜之间成了豪门富太太。z国的人都知道,尹伊络是简家大少的心尖甜蜜饯,打不得,骂不得,当宝贝似的宠着。某记者发布会上。记者问简少,请问尹小姐在你心目中是怎样的一个女人,值得你如此疼爱?简少我家夫人温婉贤惠不说脏话。那些被尹伊络抢尽风头的上流女配们欲哭无泪,简少莫不是年纪轻轻便瞎了!...
黑龙山帝国九皇子布罗林,意外得到万界系统,从此开启征战诸天的传说历程! 火影世界,他凭借恒星级战力,力压影级强者,抢夺轮回眼,成为十尾人柱力! 斗气大陆,他率领大群界主,围剿远古八族,对决巅峰斗圣! 遮天世界,他闯禁区,夺帝经与不死药,呼唤人族宇宙之主大战至尊,天崩地裂! 长生界,他纵横万界,以永恒真神之姿力敌无上石人王! 仙罡大陆,他睥睨九阳,俯视仙古,强势踏天! 完美世界,他横...
大叔找上门,颜值在线,可撩!想她巫诺,人美路子野,追个人不成问题!可看颜值找对象,终究是把自己也赔进去了。大叔你从来都未曾信任过我呀。多年后巫诺沐浴在阳光下,一睁眼,便看见有人逆着阳光,来到她的跟前,伸手说,我来接你回家...
1V1双洁团宠双强爽文(甜宠无虐)京都盛传,沐少的媳妇是个丑八怪,还是个从小地方来的乡下人,众吃瓜等着看好戏。直到军训时,长相貌美的少女,以一挑十,潇洒离开,众眼珠子掉了一地。而暗地里,京都第一拍卖行她说炸就炸!杀手集团的老大她想耍就耍!世界首富也叫她一声老大在遇到沐凌枭这个身份神秘,尊贵又闷骚的男人后表白她先来。求婚她先上。遇到情敌,先撒糖。她的嚣张,只为他收敛。推荐完结作品陆少的异能甜妻...
小小的蝴蝶翅膀扇动,剧情大不相同。暗天使戴文魂穿到三万年前的天使文明,成了天使王华榷的私生子,并且还有一个同父异母哥哥华烨。于是三万年前,便出现这样的一幕戴文站在天使战舰上,居...