第一百零三章 第二幕的前奏（4 / 4）

下不周之算，且看起本身。至少，这以概念之内的全部元素，都是低层次序数通过集合论运算而来……”

看到这里，算主心中已经隐隐有了一丝不安。

尽管算学就是将“不证自明”说透的东西，但是，那也只是“发现过去被认为是‘公理’的事物其实不是公理”的过程而已。

逻辑必然存在原点。

所谓“原点”，就是“不证自明”的公理。

这是一切逻辑思维的起点。

王崎就算不喜欢这个说法，暂时也没有跳出这怪圈的思路。

“是以，吾等可以宣告一个全新的无穷公理，其名曰不可达基数存在公理。”

“不可达基数，居于其之下的基数无论通过怎么样的集合论运算，都不可能达到的基数。”

“所以，第一不可达基数便是第一可数技术，第二不可达基数便是比‘所有序数的序数的基数’更大的基数……”

“滴答……”

算主一愣，发现自己嘴角逐渐淌下一点血来。

不知不觉间，自己的脏腑居然已经严重受创了。

再看那信，居然已经有些视线模糊了。

“真是……狠毒……”

这位连宗的逍遥，并没有想要直接驳倒冯落衣。

实际上，当冯落衣证明“无穷公理在良基集合的体系下不可证明也不可证伪”的时候，就已经立于不败之地了。

所以，他只是挑明了另一件事。

冯落衣的良基集合，与歌庭派所秉持的经典集合论、经典逻辑，同样不合拍。

歌庭派、冯落衣图灵、王崎的基派，看似全都是离宗干将。

但实际上，他们自己之间的分歧，都大得可怕。

或许这不能算有力的反击，但是，歌庭派与冯落衣的分歧，总能为连宗争取时间。