男人抓起了《原算》的第🜭九卷,缓缓离开。他扭过头,对同门们说道:“那个🖥🔲🄠姓梵🚝🔕🀟的,只是一篇论文,就让你们变成了这个样子……真是可叹。你们几个月前欢庆黎京华泊馆倒塌的时候,是否有想过今天呢?”
男人这样说着,离开了歌庭斋。
而这个时候,一线灵力流入他的🗝🜤🄃🗝🜤🄃耳朵里,化为震动。
“大师👧兄,此乃大势,你是扭转🗝🜤🄃不了☻🄪⛼的吧?”
哼,大势……
何外尔这样想着。
他当然知道所谓的“大势”。
在更早的时候,连宗也发生过那样的分裂。
就在三个月之前。
甚至🔢在梵🖀🏥🜉巴赫那一封信送到算主的手上之前,这一件事就已经发生了。
甚至有人怀疑,这一次连宗分裂,就是促使🞇💆梵巴赫出手的原因。
三个月之前,正是宇历三年春。
在这个月,海霆真人在连宗少黎派的圣地,原属于算君行馆的华泊馆,发表了他那将要名流史册的🌎♩演讲🙆☞。
“我要在这里宣告一个全新的公🗝🜤🄃理……任何集合都可以有一个选择函数,使得我们可以选出任意集合的最小元。然后,我们可以施🗬🞰🗳展超限归纳法……”
然后,这个演讲,到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子📼☢的时候,台下就已经是嘘声📒🚔一片。
而他讲到“超限归纳法”的部分时,就已经有同⚙为🐳逍遥的修士站了出来。打断了他🚝🔕🀟的讲话。
“可笑,可笑可笑!你说,任何有穷集合以及无穷集合都有选择函数,那么,你能够🜄⛓🙾完成这个‘选择函数的构造’吗?🔽🆄🍂啊?你是离宗人吗⚊🏱?”
海霆真人叹息:“不,我🜭要详细说明一下。任何集合显然都应该可以分离出一🖥🔲🄠个我们需要的子集。不管其母集是有穷还是无穷,这样的子集都是存在的。正是因为任何集合都应该有子集,所以任何集合的子集,都应该有‘子集的构造函数’。而这个构造,就是选择函数。”
“但是,很遗憾的是,由于不周之算的限制,选择构造函数无法有一个构造。那已经涉及🎝到二阶的问题了。按照型论……我们必须承认这种无能为力,而不是宣告……”
一道法术轰来,强行打算了海霆真人☻🄪⛼后面的话📼☢。⚙
有人狂热的呐喊:“这不过是诡辩!诡辩!你只是为了一时方便!一时🕓的快意!你考虑过引入离📀宗公理对实数之宇【实数空间】完美性质的破坏性吗?”
“如果梵先生在这里,他一定会出🌕⚣📒手惩戒你的。”🐳就连逍遥修士也是脸色不善。
这就是连宗的现状。
海霆真人当时是这样想的。算📈😴君的拥趸们,会反对他的每一句话。就算是在歌庭派回击之中动摇📀了的连宗算家,此时也选择了沉默。