三个月之前，正是宇历三年春。
在这个月，海霆真人在连宗少黎派的圣地，原属于算君行馆的华泊🃚😓🀾馆🈡⛛🛄，发表了他那将要名流史册的演讲。
“我要在这里宣告一个全新的公理……任何集合都可以有一个选择函数，🄵🁼使得我们可以选出任意集合的最小元。然后，我🜵们可以施展超限归纳法……”
然后，这个演讲，到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子的时候，台下🝑就已经是嘘声一片。
而他讲到“超限🌪🁽归纳法”的部分时，就已经有同为逍遥的修士站了出来。打断了他的讲话。
“可笑，可笑可笑！你说，任何有穷集合以及无穷集合都有选择函数，那么，你能够完成这个‘选择函数的构造’吗？啊？你是离宗人吗🍘？”
海霆真人叹息：“不，我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷，这样的子集都是存在的。正是因为任何集合🔖🀪⛑都应该有子集，🄭所以任何集合的子集，都应该有‘子集的构造函数’🉥。而这个构造，就是选择函数。”
“但是，很遗憾的是，由于不周之算的限制，选择构造函数无法有一个构造。🏱那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力，而不是宣告……”
一道法术轰🔍来，强行打算了海霆真人👨后面的话。
有人狂热的呐喊：“这不过是诡辩！诡辩！你只是为了一时方便🗢🝓！一时的快意！你考虑过引📲🞴入离宗公理对实数之宇【实数空间】完美性质的破坏性吗？”👼🎊
“如果梵先🔍生在这里，他一定会出🝵🏞🛐手惩戒你的。”🈜⚴🕪就连逍遥修士也是脸色不善。
这就是连宗的现状。
海霆真人当时是这样想的。算君的拥趸们，会反对🈜⚴🕪他的每一句话。就算是在歌庭派回击之中动摇了的连宗算家，此时也选择了沉默。
选择函🝀数可以推导出排中律。没有连宗人愿意🝭🎖👁接受排中律。
就算他们认为海霆真人的理论可以讨论😚一下，也不愿意在这🝑个时候出面声援。🏱
“滚出去！”
不知道是谁最先喊出这句话。然后，这样的话语，就连成一片了。
在这个月，海霆真人在连宗少黎派的圣地，原属于算君行馆的华泊🃚😓🀾馆🈡⛛🛄，发表了他那将要名流史册的演讲。
“我要在这里宣告一个全新的公理……任何集合都可以有一个选择函数，🄵🁼使得我们可以选出任意集合的最小元。然后，我🜵们可以施展超限归纳法……”
然后，这个演讲，到这里就结束了。
他只讲了十来句而已。而在他说出第七个句子的时候，台下🝑就已经是嘘声一片。
而他讲到“超限🌪🁽归纳法”的部分时，就已经有同为逍遥的修士站了出来。打断了他的讲话。
“可笑，可笑可笑！你说，任何有穷集合以及无穷集合都有选择函数，那么，你能够完成这个‘选择函数的构造’吗？啊？你是离宗人吗🍘？”
海霆真人叹息：“不，我要详细说明一下。任何集合显然都应该可以分离出一个我们需要的子集。不管其母集是有穷还是无穷，这样的子集都是存在的。正是因为任何集合🔖🀪⛑都应该有子集，🄭所以任何集合的子集，都应该有‘子集的构造函数’🉥。而这个构造，就是选择函数。”
“但是，很遗憾的是，由于不周之算的限制，选择构造函数无法有一个构造。🏱那已经涉及到二阶的问题了。按照型论……我们必须承认这种无能为力，而不是宣告……”
一道法术轰🔍来，强行打算了海霆真人👨后面的话。
有人狂热的呐喊：“这不过是诡辩！诡辩！你只是为了一时方便🗢🝓！一时的快意！你考虑过引📲🞴入离宗公理对实数之宇【实数空间】完美性质的破坏性吗？”👼🎊
“如果梵先🔍生在这里，他一定会出🝵🏞🛐手惩戒你的。”🈜⚴🕪就连逍遥修士也是脸色不善。
这就是连宗的现状。
海霆真人当时是这样想的。算君的拥趸们，会反对🈜⚴🕪他的每一句话。就算是在歌庭派回击之中动摇了的连宗算家，此时也选择了沉默。
选择函🝀数可以推导出排中律。没有连宗人愿意🝭🎖👁接受排中律。
就算他们认为海霆真人的理论可以讨论😚一下，也不愿意在这🝑个时候出面声援。🏱
“滚出去！”
不知道是谁最先喊出这句话。然后，这样的话语，就连成一片了。