这一日，苍天痛哭。
至少在连🂉宗算家眼中是这样的。毕竟，♵🌲🃃神🐲🃱🛩州这么大一个星球，总有块地方在下雨。
甚至有📄😗🁥传闻说，远在星海彼岸的算君，在知道了🔜🁙这个消息之后，也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上，直觉派的逻辑，只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算🈣理，我们可以使用类似的手段，处理新加入了集合论公理’。”海霆真人大声读完这一段之后，不由得放声大哭🝁。
他败了，一败涂地。
这是无可想象的“失败”。
即使是算君，也不否认集合👗🉀🄎论是算学的一部分。他只是将之当做算学最无意义的部分，而非是那种最核心的算理基础。
这是算君与歌庭在理念上的矛盾。
算君和歌庭之间仇深似海，也不单是一♵🌲🃃个柯兰荫的🝭🎔🐲问题。
也就是说，对于大多数连宗👗🉀🄎算家来说，集合论和逻辑，也是可以视作“算学”的一部🔈分的。
算主🀧⚰🕁希柏澈便是此⚚👹🍳道高手。他让恒王葛丹惊为🀲🀱天人的逻辑证明，也可以被当做算学。
这一点很难被忽视。
而正如基派的算学史所说的那🗿样，离宗和连宗🀲🀱的争斗，就是用自己的根基，去容纳对方的成就。谁成功了🕫，谁便领一时风骚。
从算术到几何，从几何到分析，就是如此。
所以，海🂉霆真人，便试图容纳了🙒离宗的逻辑，试图建立连宗的逻辑🔣体系。
但是，他无论如何也想不🈡⛞🛣到，这🙒会成为歌🐲🃱🛩庭派新的杀手锏。
无法想象。
不可原谅。
他无法原谅自己。
“十年光阴，竟是为铸就一把屠戮同志的剑……弟子有愧，弟子有愧啊🗖！”男人嚎啕大哭。