第678章 改寰换宇，未定一族(第4/5 页)

而在解开了所有‘束缚’之后，这座真类疆域，亦大踏步的奔向了一个崭新的时代。

……

在集合论当中，过于庞大的真类一般都不会被视之为集合，而是会被定义为一种远比集合更大的概念。

不过总的来说，真类算是一种描述性的抽象概念，而非具备形式化逻辑的切实数学对象。

因此，无论是真类这一概念，还是试图统合与囊括所有真类的超类这一概念，其实都不足以让实体世界与抽象理论这二者，能够一一对应继而完成完美对照。

换而言之，两者之间总会存在一些用各级各阶各境各界知性文明数学体系中的理论，都无法完美解释的部分。

这，或许亦算是哥德尔不完备定理的某种侧面显现吧。

即，只要还待在一个足够自洽的形式系统中，你就不可能了解一切，不可能诠释一切。

总会有某个部分某个区域，你永远琢磨不透。

譬如穆苍现在所处的这片‘地方’，就是如此。

当然，用单薄的‘地方’一词来描述祂所在的真类疆域之外，确实有些不太合适。

按照运尊的记忆，要用【失却狭渊】这一词汇，来称呼真类疆域之外……或者说所有数逻疆域之间‘广袤缝隙’区域，才会更为恰当一些。

因为这片区域即使在数学层面上，亦属于无意义域，属于无定义域。

所以，那所谓的‘无边混沌’或者‘无尽空无’亦或‘无垠虚渺’……等等这类词汇，也都无法用在【失却狭渊】上。

实际上，任何万有数学宇宙内的生命，无论祂有多么强大，哪怕强大到已进化至大基数级。

其也照样无法对【失却狭渊】这一超类领域，进行任何逻辑化的归纳，乃至任何形式化的描述。

甚至祂们根本都无法踏足失却狭渊，只能一直待在自己的疆域当中。

其中的原因也很简单。

就像阿列夫零生命体的存在需要无穷公理来支撑一样，同样的，大基数级生命体的存在亦需要相应的数学公理来予以支持。

否则，强度再高的大基数也只能是压根无法正常存在的空中楼阁而已。

而那真正能够涉足并游荡于超类领域无量数逻疆域间的生命体，便只有掌道者一族，以及祂们的……敌人。