如……0=1。
故此，莱因哈特基数才无奈的拥有了所谓「0=1」这种标签名号。
事实上，不仅仅莱因哈特基数会与选择公理，与ZFC公理系统相互矛盾无法兼容。
在其之上那一致性强度更为庞大的伯克利基数、超级莱因哈特基数、无界闭伯克利基数，乃至更更庞大也更更遥远的种种已知未知大基数也是如此。
而会出现这种种矛盾的进一步本质原因，却是因为选择公理的加入，为集合论提供了太多太多的「选择」自由度。
对于这一难题，要么接受ZF+莱茵哈特基数存在公理，不要选择公理；要么接受ZF+选择公理，不要莱茵哈特基数存在公理；要么……建立一个比ZFC更强大的公理系统。
这个扩展升级之后的更高阶公理系统，或许可以包含允许莱茵哈特基数存在的某些额外公理，继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。
「所以那个所谓的全知高塔……」
翻尽了皮特天王所有记忆的穆苍，悠悠转首「看」向那空茫绝无的失却狭渊，似在「看」向那不知坐落于何方的全知高塔，幽幽道：
「会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的，更高阶公理系统呢？」
免费阅读.