千千小说网

手机浏览器扫描二维码访问

第一百零六章 联合围剿第三更（第2页）

的。

他们没有多少需要攻伐的对象。

但梵巴赫这一类人会。

从这一封信函之中，他了解到了外面的现状。

对于海霆真人的可构造类，连宗也是拒绝接受的的。

可构造类与选择公理搭上边了。

而选择公理，正好会引发分球悖论。

连宗是一定要对选择公理下手的。

即使是最同情海霆真人的连宗修士，也想要限制选择公理作用的范围。

这全部都是实话。

梵巴赫没有隐藏自己的意图。

但与此同时，他也指出了另外一点。

在一个体系之中，引入的“无穷”

越强，那么可以证明的东西就越多。

嗯，这是一个很不“连宗”

的说法。

但这就是从内模型的证明过程之中推测出来的。

也就是包括“不可达基数”

在内的“大基数”

大基数的好处，也有很多。

比如说，引入大基数可以直接证明任何可构造的实数集合不会引发分球悖论，并且不需要取消选择函数。

比如说，引入大基数可以证明二阶算术的完备性。

这是当年王崎在证明一阶完备之后就停滞不前的道路。

但唯一的问题是……

“大基数”

与构造性公理是相互矛盾的。

“对于贵学派来说，推翻可构造类是必然的。

王崎所设想的那个，可以执行所有算学的假想实体，算学的根源，根本就不可能在离宗的天理体系之内实现……”

“但若是引入强不可达基数，扭曲天理体系，便是海阔天空……”

“是以，证明不可达基数谱系的安全性，便是证明基派几轮的安全性……”

苏君宇看着这一封信函，仿佛内里有什么魔力一样。

“这算什么？”

苏君宇最终也只是叹息：“借助离宗的手，来清除连宗的异己吗？”

——不，离宗和连宗的界限，在这一瞬间，也模糊了吧？

苏君宇这样想着。