第一百零六章 联合围剿【第三更】 (3 / 9)
        可构造类与选择公理搭上边了。而选择公理，正好会引发分球悖论。

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

        这全部都是实话。

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

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

        在一个体系之中，引入的“无穷”越强，那么可以证明的东西就越多。

        嗯，这是一个很不“连宗”的说法。

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

        也就是包括“不可达基数”在内的“大基数”

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

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

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

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

        但唯一的问题是……

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》