手机浏览器扫描二维码访问
事实上,虽然都是无意义源流。
可如今穆苍所处的「第二重世间」内的这一座源流,却是在整体强度层面上,远远超越了那「第一重世间」【终乂绝数】级……或可称莱因哈特基数级源流的更高阶源流。
而与这一座无意义源流驻立的未知等阶异数强度所对应的大基数,则赫然是……特殊-完全莱茵哈特基数。
若想要理解这一大基数,便要从超级莱因哈特基数讲起。
所谓超级莱因哈特基数,顾名思义便是莱因哈特基数的超级高阶加强版本。
所以其在本质上,亦属于一种非平凡基本嵌入的临界点,嵌入其自身。
同时在这两种大基数中间,实际上还存在有一种名为n阶集合论公式集定义下的莱茵哈特基数。
只不过,由于这一大基数的一致性强度远远不如超级莱茵哈特基数,所以暂且略过不提。
总之,超级莱因哈特基数的具体定义即是:
存在一个序数k,对于每一个序数α,若都存在一个基本嵌入j:v→v,使得j(k)>α,并且k是j的临界点,则可称k为超级莱因哈特基数。
同样的,若k是超级莱茵哈特基数,那么便会存在γ<k,使得(5γ,vγ+1)是zf?+莱茵哈特基数存在公理的模型。
其中的zf?,便可理解为二阶zf公理系统。
是的,zf系统赫然有一阶二阶三阶四阶,乃至更多阶数之分。
总的来说,相对于莱茵哈特基数,超级莱茵哈特基数便是在它的基础上,增加了一个限定条件:
即,j(k)要大到符合期望。
若对这所谓的“期望”概念详尽展开来讲,就是对于所有的序数α,都要有j(k)>α。
而进一步展开继续阐述,超级莱因哈特基数的定义,便是涉及到了对于所有序数的超越性。
即对于任意给定的序数α,都能找到一个基本嵌入,使得k被映射到一个更大的序数上。
相比较而言,莱因哈特基数却仅要求存在一个基本嵌入j:v→v使得k是j的临界点,而不要求对所有序数α都有j(k)>α,可超级莱因哈特基数却是与之全然相反的。
所以后者的一致性强度,要远远……远远胜于前者。
可如此巨大的超级莱茵哈特基数,却依然要远远远远……远远弱于伯克利基数。
完全没有任何可比性。
因此,就需要向那更高层次的“数学世界”去寻找一致性强度更为巨大的大基数。
即,a-超级莱茵哈特基数。
其具体定义便是:对于一个合适的类a,若所有的序数λ都有一个非平凡初等嵌入j:v→v,crt(j)=k,j(k)>λ,并且j?(a)=j(a)(j?(a):=u(a∈ord)j(anvα),那么这样的k,就可称为a-超级莱茵哈特基数。
总的来说,这种大基数就等若于莱茵哈特基数的进阶加强版——超级莱茵哈特基数的进阶加强版。
其是在更高层面上对于超级莱茵哈特基数的一种更大推广或者说延伸,因而两者之间的差距,巨大到简直无可形容。
可即便如此,即便庞大到如斯程度,a-超级莱茵哈特基数也依旧远远……远远弱于伯克利基数。
所以就要以它为踏脚石,纵身一跃无尽飞升,前往那更高层次去寻索更高阶更巨大的大基数。
即,完全莱茵哈特基数。
关于这种大基数的定义,若进行简化性的阐述便是:
若对于每一个a∈vk+1,都有(vk,vk+1)是zf?+a-超级莱茵哈特基数存在公理的模型,那么这样的k,就是完全莱茵哈特基数。
所以,完全莱茵哈特基数的强度,就可以超越伯克利基数了么?
遗憾的是,依然不能。
因为这两种大基数无法进行清晰比较。
或者更进一步的说,这两者之间的一致性强度差异是不能判定的。
根本无法知晓这两种大基数到底谁的强度会更高,只能大略认为二者在强度上可以划上一个稍显模糊的“=”号。
那么,能够真正在一致性强度层面上彻底超越伯克利基数的大基数,又到底会是什么呢?
开局一只破烂崽 村姑马刚的爱情故事 大佬的替嫁小媳妇 原神我的马甲有点多 我是罪恶克星! 人家悍匪,你这悍警咋回事? 枭魔 四合院,我的新生 网王之你是唯一偏爱 满屋仙器你当自己是凡人 源启:终尽 凭啥兔子精就得绑定生子系统 星铁模拟:你们不是NPC? 她放飞自我后,江湖炸了! 婚礼当天,挺孕肚改嫁前任他兄弟 随机美食摊,顾客堵我十条街 闯关东:我朱传虎 心声都是瓜?侯门主母炸翻全家! 黄钱笑传 首富生日宴废材上门女婿竟叫爸爸
因为一款游戏,身为普通人的鹿任与血族扯上了关联。这是一个很清晰明了的故事,主人公在血族所居住之地演绎着无限欢乐的日常,有突如其来的事件,也有意想不到的展开,有亲情,有爱情,有友情,有基情。各种乱入,各色吐槽。带给各位一个轻松欢乐的血族生活。...
特种兵穿越成为皇帝,却不想奸臣谋朝篡位,异族虎视眈眈。赵构只好举起屠刀,杀奸臣诛朋党灭敌国讨扶桑。匹夫之怒血溅三尺,天子一怒伏尸百万...
顾乔关于我发现自己只是一个游戏世界里的炮灰npc,还将注定被玩家攻略并杀死我决定打不过就加入,绑定了某个二五仔系统,伪装成玩家,用魔法打败魔法,却一不小心成了玩家里令人闻风丧胆的‘绝命毒师Q’这件事成长型女强女主多重马甲异能科幻微无限流赛博朋克真顺着网线去找你jpg。造物主online的玩家都知道,那位挂在积分排行榜前十的神秘玩家‘Q’,心狠手辣毫无人性,专挑同行玩家下手,一旦被ta列为捕猎对象,就算跪地叫妈也几乎没有生路可言。但有一些幸运的玩家,在游戏中发现了一位人畜无害的圣母npc,名叫顾乔,你将获得帮助,避免死亡。心狠手辣黑桃Q,热情助人小顾乔。注明本文有男性角色,无CP,女主专心搞事业。已完结作品指路快穿之家养小反派...
巅峰小神医闯都市,莫名其妙地做了男人,却不知道自己的女人是谁,迷迷糊糊地进了一家只有美女的大企业,又被迫变成了女总裁的假老公,且看小神医庄岩如何玩转都市,迎娶白富美。...
舒予穿书了,成了一个被作死女配连累,只出场两次最终流放千里的可怜炮灰。在发现自己无法改变结果后,舒予决定吃吃喝喝躺平了等。谁知道流放还没来,却突然被告知她不是舒家的女儿。她的亲生父母是生活困苦入不敷出连房子都漏着风的农户。而舒家为了隐藏她这个污点决定抹杀了她。舒予来啊,我打不死你们。重回亲生父母身边,舒予眼看着端上桌放在自己面前的一盘咸菜一碗稀饭,以及父母紧张又手足无措的表情,终于叹了一口气。不能躺平了,不然要饿死了。...
出任务中途回家,发现自己的未婚夫正在和一个陌生女人正在深入感情交流。被发现后还振振有词,我是一个正常的男人。本以为是渣男在生死边缘疯狂起舞,没想到是敌人的陷阱,再次睁眼痴傻十几年萧府大小姐已经换了个人。还多了个未婚夫五皇子,想起前世的渣男,她费尽心思,终于解决了缠绕她许久的婚约风波,却又发现单身的她更加抢手,上门求亲的人络绎不绝。温柔冷漠的林家大少?慵懒邪佞的张家继承人?性格火爆的五皇子?...