手机浏览器扫描二维码访问
第697章 选择之上莱因哈特（第3页）
其定义与结构，则可从诸多个方面进行阐述。
首先，莱因哈特基数的定义便是在没有选择公理（Axiomofchoice，简称Ac）的集合论体系ZF公理系统下，存在的一种特殊类型基数。
用数学语言表述，即是存在非平凡初等嵌入j：V→V，crt（j）=k，这个k就是莱因哈特基数。
所以具体来讲，其便是指这个非平凡基本嵌入的临界点crt（j）=k。
其中这个嵌入j是初等的，这也就意味着嵌入前成立的所有真命题会在嵌入后依然成立。
另外那个V，则是指集合论的全类冯诺依曼宇宙，即全部集合的真类。
因而若将这些组合起来更进一步讲述，莱因哈特基数便是涉及到一个非平凡的基本嵌入，这个嵌入会将集合论的全类V映射到自身，并且具备特定的临界点。
这其中，亦存在莱因哈特基数所具备的一种特性——自嵌入性，自身到自身的初等嵌入。
而先前那段话当中的所谓“非平凡嵌入”一词，则是指莱因哈特基数本身，其实就是那基本嵌入的临界点。
至于这临界点用数学语言表述，便是……k是嵌入j的临界点，即对于所有小于k的序数a，有j（a）=a，但j（k）≠k。
然后，这种嵌入会将集合论的全类V映射到其自身，且并非恒等映射——即存在某个集合x继而使得j（x）≠x。
同时，由于嵌入j具有临界点k，这也就意味着对于所有小于k的序数a，都会有j（a）=a，而对于k本身，则会有j（k）＞k。
若细化来说，便是这种嵌入会具有特定的性质，其会将V中的某些元素映射到V中的其他元素，且映射过程中会保持集合的某些结构或性质不变。
其次，由于无法被一阶逻辑语言来描述或定义，所以莱因哈特基数亦具备了不可定义性。
还有，除却这些之外，那真正导致了莱因哈特基数会拥有“0=1”这一名头性质，便是它与那存在有选择公理的标准集合论公理系统ZFc之间的不一致性。
亦可称，库能不一致定理。
此定理的内容，便是在带有选择公理的集合论体系中，不存在一个可将全类V映射到自身的非平凡基本嵌入。
若细致讲来，即是在ZFc系统的整体框架内，不存在可以满足莱因哈特基数定义条件的基数，其必须要在没有选择公理的集合论体系（比如ZF系统）之中才能够成立以及讨论。
之所以如此，却又是因为莱因哈特基数的定义会涉及非平凡的基本嵌入。
根据库能不一致定理，这种嵌入在ZFc公理系统中根本无法成立，或者说会导严重的不一致性，继而催生出种种与已知数学事实相矛盾的结论。
另外除却这一定理，还有其他一些数学结果和推理也表明莱因哈特基数与选择公理在逻辑上压根无法共存，这些反例也进一步支持了两者的不兼容性。
于是，在一个自相矛盾的公理系统（莱因哈特基数+ZFc）当中，自然什么乱七八糟的命题都可以给出迫真证明。
譬如……0=1。
故此，莱因哈特基数才无奈的拥有了所谓“0=1”这种标签名号。
事实上，不仅仅莱因哈特基数会与选择公理，与ZFc公理系统相互矛盾无法兼容。
在其之上那一致性强度更为庞大的伯克利基数、超级莱因哈特基数、无界闭伯克利基数，乃至更更庞大也更更遥远的种种已知未知大基数也是如此。
而会出现这种种矛盾的进一步本质原因，却是因为选择公理的加入，为集合论提供了太多太多的“选择”自由度。
对于这一难题，要么接受ZF+莱茵哈特基数存在公理，不要选择公理；要么接受ZF+选择公理，不要莱茵哈特基数存在公理；要么……建立一个比ZFc更强大的公理系统。
这个扩展升级之后的更高阶公理系统，或许可以包含允许莱茵哈特基数存在的某些额外公理，继而可以容许莱茵哈特基数以及在它之上那更强大基数的成立与存在。
“所以那个所谓的全知高塔……”
翻尽了皮特天王所有记忆的穆苍，悠悠转首“看”向那空茫绝无的失却狭渊，似在“看”向那不知坐落于何方的全知高塔，幽幽道：
“会不会就是一座……可以容纳莱茵哈特基数逻辑构型存在的，更高阶公理系统呢？”
世子的白月光又重生了 青山巍巍 主母只想摆烂，被换亲后起飞了 被退婚后，大院军官叼走了她 余岁长安 重生八零：改嫁隔壁首富+番外 换亲后，我成了太子的心尖尖 病弱首辅的锦鲤妻 旁白傍身，机缘成真 心尖娇宠：傲娇总裁快到碗里来+番外 死遁后，我成了疯批暴君的白月光 离婚后，总裁日日求复合+番外 夫人太暴力，秦总每天带伤上班 被送给盲眼大佬后，姜小姐恃宠而骄 惊！妩媚尤物强撩顾总 重生后，我成了奸臣黑月光 重生猫咪：你是我的铲屎官吗？ 欲染玫瑰，京圈大佬一次成瘾+番外 诱为己有 穿成疯批庶女，稳定发疯拿捏战神
格兰自然科学院
火刑架上真理殉道者的咆哮。宇宙天体运行秩序，没有任何人能够更改，星幕世界不是一个盒子，世人必将会承认日心说真理，你终究只是这个世界自诩为神的更高级生物，并非无所不能造物主。知识就是力量！尊师重道，薪火相传，研究自然科学的学者们坚持不懈，将所学知识代代传承，终有一天，所谓的神，也只是实验台上的解剖标本！...
小人鱼她武力值爆表
作为深海一族的霸主，阮诺她咸鱼且贪玩娇纵且强大。因一场意外，她被迫穿越到了另一个世界。阮诺？？？本以为这就够倒霉了，哪成想元力耗尽化成原型遭遇系统被人类强制饲养等一系列乱七八糟的事又落到了她的头上。阮诺别问，问就是想揍人。好在伺候她的人类还算勉强入眼。他出身高贵长的漂亮为人和善，还天天对着她吹彩虹屁，什么阿阮真乖阿阮很可爱阿阮是盛京最漂亮的姑娘等等赞美之词信口捏来。被糖衣炮弹蛊惑的小人鱼慢慢地收起了利爪，也藏起了能卷死人的尾巴，甚至时不时地赏给人类一个还算友善的小眼神。阮诺ヽ害′‘羞ノ今天又是被夸的一天！当然，也总有烦人的某系统在她的耳边嗡嗡叫宿主大人！你该攻略傅远舟啦！想起那个漂亮的人类，阮诺一边吃着小鱼干，一边懒洋洋地摇了摇鱼摆摆你是说我的人类？他已经爱我爱的不能自拔了呀。可可他对你的好感度为0％啊！阮诺？？？手里的小鱼干瞬间不香了。如果您喜欢小人鱼她武力值爆表，别忘记分享给朋友...
假面王妃
假面王妃是阿彩精心创作的历史军事，全本书斋实时更新假面王妃最新章节并且提供无弹窗阅读，书友所发表的假面王妃评论，并不代表全本书斋赞同或者支持假面王妃读者的观点。...
大唐：开局抢了文成公主
李二要派文成公主去和亲，正好路过魏砚的地头，此时系统觉醒叮！恭喜宿主获得穿越大礼包，奖励不老不死之身，奖励空想具现，奖励让别人变得不老不死次数×3这让原本正在西北当马匪的魏砚瞬间对这一次的劫人充满了信心。老大，听说下面是大唐去吐蕃和亲的车队，我看还是不要劫了吧？魏砚道废什么话！这更该劫！拿一个女人去换取大唐盛世，大唐的男儿都死光了？说罢，魏砚一人单枪匹马，直杀入和亲车队，一把将文成公主抢走。洞房花烛夜。文成公主劝道你这样会不得好死的。魏砚微微一笑我现在最不怕的就是死。如果您喜欢大唐开局抢了文成公主，别忘记分享给朋友...
男主他不按套路来
关于男主他不按套路来十七岁时，满脑子冒粉泡的云梁在自己奢华的生日宴上许愿神哪，请让我拥有一段真挚的爱情，即使因此失去现在所有的物质享受我也愿意！她云梁许愿就是灵，生日刚过完家里就破产了呃，好像重点不对。十年后二十七岁的云梁在心里虔诚祷告神呐，求你保佑我早点发财，只要能赚好多钱，我宁愿打一辈子光棍儿！神云梁不明白了，就算第一个愿望撤回无效，也不用把自己丢在这么个陌生的世界吧，而且一来就被人追杀，她还什...
快穿：妖孽男神缠上身
我是你的，是你一个人的，不要推开我！一日为师，终身为夫。姐姐，占了我的便宜，还想跑？不曝光不给碰！女人，你敢不要我？雷霆雨露皆是君恩，朕的爱，你收好便是！懒腐宅丧的网文作者萧轻歌被系统套路，穿梭三千位面收集主角气运，她勤勤恳恳做任务，然而却总是桃运缠身，命中带煞，此乃桃花死劫也。不管她躲到何处，都能遇到一个姿容绝世，浪到没边的缠人小妖精。轻轻，人家已经把床暖好了！滚！无数年后，某女看着身旁惨遭摧残的某男，无奈叹息道总有小妖精勾引我堕落！女主渣女本渣，提上裤子不认人，男主骚浪贱，身娇体软易推倒勾人小妖精，本文1V1，女宠男，不喜勿入如果您喜欢快穿妖孽男神缠上身，别忘记分享给朋友...