书中文学网

手机浏览器扫描二维码访问

第1286章（第1页）

然后，这个演讲，到这里就结束了。

他只讲了十来句而已。而在他说出第七个句子的时候，台下就已经是嘘声一片。

而他讲到“超限归纳法”的部分时，就已经有同为逍遥的修士站了出来。打断了他的讲话。

“可笑，可笑可笑！你说，任何有穷集合以及无穷集合都有选择函数，那么，你能够完成这个‘选择函数的构造’吗？啊？你是离宗人吗？”

海霆真人叹息：“不，我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷，这样的子集都是存在的。正是因为任何集合都应该有子集，所以任何集合的子集，都应该有‘子集的构造函数’。而这个构造，就是选择函数。”

“但是，很遗憾的是，由于不周之算的限制，选择构造函数无法有一个构造。那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力，而不是宣告……”

一道法术轰来，强行打算了海霆真人后面的话。

有人狂热的呐喊：“这不过是诡辩！诡辩！你只是为了一时方便！一时的快意！你考虑过引入离宗公理对实数之宇【实数空间】完美性质的破坏性吗？”

“如果梵先生在这里，他一定会出手惩戒你的。”就连逍遥修士也是脸色不善。

——这就是连宗的现状。

海霆真人当时是这样想的。算君的拥趸们，会反对他的每一句话。就算是在歌庭派回击之中动摇了的连宗算家，此时也选择了沉默。

选择函数可以推导出排中律。没有连宗人愿意接受排中律。

就算他们认为海霆真人的理论可以讨论一下，也不愿意在这个时候出面声援。

“滚出去！”

不知道是谁最先喊出这句话。然后，这样的话语，就连成一片了。

“滚出去！”“滚出去！”“滚出去！”

海霆真人擦了擦嘴角溢出的血。他重伤未愈。其实在场的每一个连宗修士都是。

但是，他们宁可这样排除海霆真人。

这个家伙几乎是个离宗了。他们绝不会让这个家伙在华泊馆之中讲话。

海霆真人倔强的说道：“我们必须接受！算君的观念必须被抛弃一部分，因为连宗……”

他没有说完后面的话。

法术的洪流爆发。这是逍遥级数的对拼。黎京城的防御阵法被激活，然后被摧毁。以华泊馆为中心的一大块区域受灾严重。

连宗修士们共同抗下了巨额罚金。

海霆真人则拖着一身的重伤，昏倒在远处一家天灵岭宗外驻地旁。

这个事件，被认为是连宗走向分裂的标志。在算君的威名之下，数百年来团结如一的连宗，也终于走向了破裂与内斗。

梵巴赫也表示了对海霆的谴责。他甚至宣誓说，绝对不与海霆真人走到一百步之内，否则就只能做过一场。

因为，海霆真人的构造主义，以及他从离宗引入的选择天理、全局选择天理，会引发他当年亲手排除的荒诞之处——分球悖论。

他绝不接受这样有可能一即是全，全即是一的算学图景。

但实际上，离宗也很少声援海霆真人。

离宗也有过排除“分球悖论”的努力。

而他们做出的成果，就是测度论。

也就是当年王崎教育妖族的入门课程。

选择公理是会破坏测度论的。离宗内部也存在争议。

是你攻略不下的女主  夫君热衷于给我捧场  穿成大佬假妹妹  孤手握三十万重兵，你让孤自裁？  我靠拾荒称霸三界  怪厨  震惊！这个男人能点化智械  妻调令  风刃之芒  富婆的快乐你不懂[神豪]  穿越千年，只为遇见你！  雄虫他只想苟命[虫族]  [原神]为了磕cp我连天理都能推翻  再见，我亲爱的封先生  魂穿七零，这个世界我要做大女主  重回86：大哥死前托妻给我  十二鬼月横滨结仇日常  七零夜校女教师  开局被女土匪看中，我占山为王  穿成流放文的极品小姑（穿书）