第697章选择之上，莱因哈特 (第2/2页)
　　
　　前者，也就是所谓的「翻越选择」，实际上指的便是……倘若能够
　　
　　从选择公理上翻越过去或者说绕过去，就可以到达一个全新领域。
　　
　　后者指代的，则恰恰就是那方新领域——玄掌之上。
　　
　　是的，玄掌并非掌道者进化体系的尽头。
　　
　　在其之上，可能还存在着一方恢宏而伟岸的崭新领域。
　　
　　至于选择公理的内容(任给一系列集合，都可以从每个集合中选出一个元素)，即是ZFC公理系统的重要组成部分。
　　
　　如果没有它，关于实数的测度论就将分崩离析，还有不可数无穷及其以上的一系列数学结构，也就是那零零种种的大基数以及高阶大基数，亦将发生种种或大或小之变化。
　　
　　总之，通过大量情报的搜集与细致研究，最终皮特天王推断。
　　
　　若想要真正安全的踏足那座全知高塔，哪怕仅仅只是登上高塔最底层的基座区域。
　　
　　很可能，都需要攀登者的生命与实力级别，尽皆达到那彻底翻越选择公
　　
　　理并涉足进入全新领域之后的大基数对应等阶。
　　
　　也就是莱因哈特基数，以及在其之上的更高阶大基数。
　　
　　没错，就是那个总是与「0=1」这一概念纠缠不清的大基数。
　　
　　而它之所以一直都有「0=1」这个名头，则又与选择公理息息相关。
　　
　　或者说，就是因为与选择公理的矛盾与不兼容，才使得莱因哈特基数被套上了「0=1」的这个标签。
　　
　　所谓莱因哈特基数，即是集合论当中的一个重要数学概念。
　　
　　其定义与结构，则可从诸多个方面进行阐述。
　　
　　首先，莱因哈特基数的定义便是在没有选择公理（AxiomofChoice，简称AC）的集合论体系ZF公理系统下，存在的一种特殊类型基数。
　　
　　用数学语言表述，即是存在非平凡初等嵌入j：V→V，crt(j)=，这个就是莱因哈特基数。
　　
　　所以具体来讲，其便是指这个非平凡基本嵌入的临界点crt(j)=。
　　
　　其中这个嵌入j是初等的，这也就意味着嵌入前成立的所有真命题会在嵌入后依然成立。
　　
　　另外那个V，则是指集合论的全类冯诺依曼宇宙，即全部集合的真类。
　　
　　因而若将这些组合起来更进一步讲述，莱因哈特基数便是涉及到一个非平凡的基本嵌入，这个嵌入会将集合论的全类V映射到自身，并且具备特定的临界点。
　　
　　这其中，亦存在莱因哈特基数所具备的一种特性——自嵌入性，自身到自身的初等嵌入。
　　
　　而先前那段话当中的所谓「非平凡嵌入」一词，则是指莱因哈特基数本身，其实就是那基本嵌入的临界点。
　　
　　至于这临界点用数学语言表述，便是……是嵌入j的临界点，即对于所有小于的序数α，有j(α)=α，但j()≠。
　　
　　然后，这种嵌入会将集合论的全类V映射到其自身，且并非恒等映射——即存在某个集合x继而使得j(x)≠x。
　　
　　同时，由于嵌入j具有临界点，这也就意味着对于所有小于的序数α，都会有j(α)=α，而对于本身，则会有j()＞。
　　
　　若细化来说，便是这种嵌入会具有特定的性质，其会将V中的某些元素映射到V中的其他元素，且映射过程中会保持集合的某些结构或性质不变。
　　
　　其次，由于无法被一阶逻辑语言来描述或定义，所以莱因哈特基数亦具备了不可定义性。
　　
　　还有，除却这些之外，那真正导致了莱因哈特基数会拥有「0=1」这一名头性质，便是它与那存在有选择公理的标准集合论公理系统ZFC之间的不一致性。
　　
　　亦可称，库能不一致定理。
　　
　　此定理的内容，便是在带有选择公理的集合论体系中，不存在一个可将全类V映射到自身的非平凡基本嵌入。
　　
　　若细致讲来，即是在ZFC系统的整体框架内，不存在可以满足莱因哈特基数定义条件的基数，其必须要在没有选择公理的集合论体系（比如ZF系统）之中才能够成立以及讨论。
　　
　　之所以如此，却又是因为莱因哈特基数的定义会涉及非平凡的基本嵌入。
　　
　　根据库能不一致定理，这种嵌入在ZFC公理系统中根本无法成立，或者说会导严重的不一致性，继而催生出种种与已知数学事实相矛盾的结论。
　　
　　另外除却这一定理，还有其他一些数学结果和推理也表明莱因哈特基数与选择公理在逻辑上压根无法共存，这些反例也进一步支持了两者的不兼容性。
　　
　　于是，在一个自相矛盾的公理系统(莱因哈特基数+ZFC)当中，自然什么乱七八糟的命题都可以给出迫真证明。
　　
　　譬
　　
　　如……0=1。
　　
　　故此，莱因哈特基数才无奈的拥有了所谓「0=1」这种标签名号。
　　
　　事实上，不仅仅莱因哈特基数会与选择公理，与ZFC公理系统相互矛盾无法兼容。
　　
　　在其之上那一致性强度更为庞大的伯克利基数、超级莱因哈特基数、无界闭伯克利基数，乃至更更庞大也更更遥远的种种已知未知大基数也是如此。
　　
　　而会出现这种种矛盾的进一步本质原因，却是因为选择公理的加入，为集合论提供了太多太多的「选择」自由度。
　　
　　对于这一难题，要么接受ZF+莱茵哈特基数存在公理，不要选择公理；要么接受ZF+选择公理，不要莱茵哈特基数存在公理；要么……建立一个比ZFC更强大的公理系统。
　　
　　这个扩展升级之后的更高阶公理系统，或许可以包含允许莱茵哈特基数存在的某些额外公理，继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。
　　
　　「所以那个所谓的全知高塔……」
　　
　　翻尽了皮特天王所有记忆的穆苍，悠悠转首「看」向那空茫绝无的失却狭渊，似在「看」向那不知坐落于何方的全知高塔，幽幽道：
　　
　　「会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的，更高阶公理系统呢？」
　　
　　免费阅读.