手机浏览器扫描二维码访问
第697章选择之上莱因哈特（第3页）
首先，莱因哈特基数的定义便是在没有选择公理（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更强大的公理系统。
这个扩展升级之后的更高阶公理系统，或许可以包含允许莱茵哈特基数存在的某些额外公理，继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。
「所以那个所谓的全知高塔……」
翻尽了皮特天王所有记忆的穆苍，悠悠转首「看」向那空茫绝无的失却狭渊，似在「看」向那不知坐落于何方的全知高塔，幽幽道：
「会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的，更高阶公理系统呢？」
免费阅读.
空旬记 我的决斗卡组意义不明 创世修罗 大周九千岁 江行 重生之剑神崛起 红楼大暴君 我不可能是妖魔 先生，我们离婚吧 以诡疑人 婚心难测 神魔酒店 我家徒弟很嚣张 都市无上仙医 印第安人要逆天 体验系巨星 农家小娇娘，夫君是个宠妻奴 被弃养后，我靠玄学直播爆红了 名柯：左手黑影兵团右手十二符咒 到世界疯狂之前
夫人您夫君还有两个小妾
暗恋，独宠，偏爱，腹黑，双洁。你可以叫我的名字，赵勋皱眉，国公爷三个字，从李希嘴里出来，他听得很不爽。赵勋？李希低声叫一声，声音温柔好听。赵勋的眼又黑了一分，看着眼前的小脸，眼神略向下，看到那节嫩白的颈脖。赵勋的手又微微弯曲。李希看到赵勋眼神的变化，脸上露出了点且胆怯。夫君？赵勋的眼睁大，盯着那红润的双...
战神出狱：绝世强龙
被家族驱逐，却意外获得奇遇，五年出生入死，荣耀归来，报恩也报仇！...
新还珠格格之我斗后宫佳丽三千
关于新还珠格格之我斗后宫佳丽三千他是皇上的五子，是赫赫有名的五阿哥，而我只是一个被爹娘日日打骂的人，一直想逃离这个家的我，终于逃出来了从来没有感受过家的温暖，这天我冒着生命危险帮紫薇送信，却被皇上误认做了格格，皇上对我很好，原来我不是爹娘的亲生女儿所以她们才这样对我...
邪恶鸣人，回头是岸啊
...
去他的白月光
统一六国的天子，广纳后宫，各诸侯国纷纷献上王姬，只为博天子一笑。可惜美人们福薄，没过多久便死的死，伤的伤。一封诏书令下，天子言明要赵王最漂亮的女儿。天下人皆知，赵王的三女儿姜玥绝色倾城，为了不让宝贝女儿送死，赵王找了个替死鬼，他的第十一女儿姜姒。—姜姒身为赵王第十一个女儿，因着生母身份卑微，在宫中备受排挤，到最后还要代替姐姐进宫。她战战兢兢度日，丝毫不敢暴露身份，只想保住小命，期望有朝一日能和生母团聚。姜姒没能得天子召见，却遇到个模样好看的内侍。内侍待她极好，给她讲话本，做糕点，还托人从宫外带许多新奇的玩意。直到某日，她亲眼看到内侍谈笑间赐官员车裂之刑。当夜，内侍再次来到宫中，对上她煞白的脸，骨节分明的手指落在她的红唇上，姒姒都知道了？天子日日宿在她宫中，姜姒以为天子多少有点喜欢她，却和姜玥同时陷入险境时，被他所弃。这才知道原来天子早就知晓她是冒牌货。之所以留她在身边，只是因为她和姜玥有几分相似。姜玥是他心尖尖的人，是他爱而不得的白月光。她只是替身而已。死里逃生后，姜姒决定带着生母远走高飞，却被士兵团团围住。为首的那个，正是多日不见的天子。他眸色如泼墨般，似笑非笑姒姒要到哪里去？—没有人知晓商阙付出多大代价，才能和姜姒再次相见。魔蝎小说...
老婆带毒碰即死怎么办？
卡塞帝国帝王莱尔斯灵兽特殊战力极强是目前最优秀的驭兽师，但他的灵兽也让他身体带有剧烈毒性。从他十二岁开始，毒性便随着他逐年强大不受控制的外溢，十四岁时他连呼吸都带毒，十七岁后方圆一里寸草不生。为了不造成无辜伤亡，莱尔斯独自住进了满是凶猛异兽的13号异界，此后十年深居不出。三年前，大概是终于想起自己还有这么个弟弟，代理国王卡斯突然开始替他面向全国征婚。消息刚传出立刻就引起轩然大波，无数人蜂拥而至，经过长达两个月的选拔后，新郎在万众瞩目之下向着13号异界而去。一天后，毙。第二次选拔如火如荼，选出的新郎还没见到人，就被毒死在了门口。第三次选拔，报名人数0。那之后代理国王卡斯想了无数办法，但始终无人生还，这场令人毛骨悚然的死神邀请宴也持续了三年。安米洛点下确定按钮之后两秒脑子才缓缓回神，他再看去时，广告弹窗已经消失。五个小时后，迎亲的军队把他公司前后左右上下连墙缝都堵住时，他终于确信那弹窗确实是结婚申请书。两天后，站到13号异界上时，安米洛就只有一个想法，这是诈骗，他要举报。身带剧毒，莱尔斯早已习惯那种孤寂，直到有一天一个提着大包小包的男人突然闯入他的家，告诉他他们已经结婚，还要睡他的床，吃他的饭。魔蝎小说...