阅读提示：为防止内容获取不全，请勿使用浏览器阅读模式。
一步本质原因，却是因为选择公理的加入，为集合论提供了太多太多的“选择”自由度。
对于这一难题，要么接受ZF+莱茵哈特基数存在公理，不要选择公理；要么接受ZF+选择公理，不要莱茵哈特基数存在公理；要么……建立一个比ZFC更强大的公理系统。
这个扩展升级之后的更高阶公理系统，或许可以包含允许莱茵哈特基数存在的某些额外公理，继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。
“所以那个所谓的全知高塔……”
翻尽了皮特天王所有记忆的穆苍，悠悠转首“看”向那空茫绝无的失却狭渊，似在“看”向那不知坐落于何方的全知高塔，幽幽道：
“会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的，更高阶公理系统呢？”