自己坐着的位置。
这是原属于算主希柏澈的书桌。在更早的时候，它还属于云中君柯兰荫，属于曲面天魔黎曼，属于更久远之前的歌庭斋主。
他笑了：“行，我滚。”
男人抓起了《原算》的第九卷，缓缓离开。他扭过头，对同门们说道：“那个姓梵的，只是一篇论文，就让你们变成了这个样子……真是可叹。你们几个月前欢庆黎京华泊馆倒塌的时候，是否有想过今天呢？”
男人这样说着，离开了歌庭斋。
而这个时候，一线灵力流入他的耳朵里，化为震动。
“大师兄，此乃大势，你是扭转不了的吧？”
——哼，大势……
何外尔这样想着。
他当然知道所谓的“大势”。
在更早的时候，连宗也发生过那样的分裂。
就在三个月之前。
甚至在梵巴赫那一封信送到算主的手上之前，这一件事就已经发生了。
甚至有人怀疑，这一次连宗分裂，就是促使梵巴赫出手的原因。
三个月之前，正是宇历三年春。
在这个月，海霆真人在连宗少黎派的圣地，原属于算君行馆的华泊馆，发表了他那将要名流史册的演讲。
“我要在这里宣告一个全新的公理……任何集合都可以有一个选择函数，使得我们可以选出任意集合的最小元。然后，我们可以施展超限归纳法……”
然后，这个演讲，到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子的时候，台下就已经是嘘声一片。
而他讲到“超限归纳法”的部分时，就已经有同为逍遥的修士站了出来。打断了他的讲话。
“可笑，可笑可笑！你说，任何有穷集合以及无穷集合都有选择函数，那么，你能够完成这个‘选择函数的构造’吗？啊？你是离宗人吗？”
海霆真人叹息：“不，我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷，这样的子集都是存在的。正是因为任何集合都应该有子集，所以任何集合的子集，都应该有‘子集的构造函数’。而这个构造，就是选择函数。”
“但是，很遗憾的是，由于不周之算的限制，选择构造函数无法有一个构造。那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力，而不是宣告……”
一道法术轰来
…。。