在完全吞没了那未定者将领【自由回路】的一切所有,继而拥有了【深渊魔数】级别的怪诞异数力量后。
穆苍便倏然「脱下」未定者身份马甲,开始让自身本体,直面那股强度远远超越完全不可描述基数级的异数之力。
而在这种高阶异数力量的刺激下,【无绝秘策】亦毫无滞碍的瞬间启动。
嗡——
于是仅仅一刹那间,穆苍的根基、本体、玄髓……一切一切,就从完全不可描述基数级,霍然暴涨攀升到了更为恐怖恢宏的可测基数级。
轰轰轰——
霎时,茫茫失却狭渊当中那整支原先由【自由回路】统率的规模宏大无匹气势壮阔至极,由无穷无尽无限无界座怪诞疆域为兵卒汇聚构建而成的可测基数量级未定者大军,就蓦地定格下来,然后分崩离析彻底泯灭瓦解。
这,仅仅只是穆苍膨散开一丝力量而造成的结果而已。
只能说,如可测基数这般高阶大基数公理结构之庞巨伟岸,远远不是仅比完全不可描述基数高一级两级三四级那么简单。
若想要对其进行哪怕最简单的理解,都要历经一段极度繁复而漫长的路途。
像是不可描述基数,指的便是用mn或∑mn公式的概念和模型论工具,而定义出的大基数。
如果将其详尽数学结构呈展开来,便是:若对任何仅含一个二阶自由变元X的mn公式ΦX,有α层结构〈Vα,∈?Vα,R〉满足ΦR时,即〈Vα,∈?Vα,R〉?ΦR成立时,就存在βltα,并使β层子结构也满足ΦR,即〈Vβ,∈?Vβ,RVβ〉?ΦRVβ,那么就可称基数α为mn不可描述基数。
至于缠绕在此复杂数学结构间的反射原理,则是指全域中任何一阶公式都可用某一层Vβ中的相对化公式来进行代替。
另外关于所谓的不可描述性,亦可理解为在α层结构中可为「真」的公式,必可在α之前的某β层当中同样为「真」。
由此即可推出诸多结论或者说产生诸多结果,譬如……若是强不可达基数,那么当且仅当即是10不可描述基数,以及当且仅当是∑11不可描述基数,还有若是弱紧致基数,那么当且仅当是11不可描述基数。
而凌驾于此之上的,即是强可展开基数。
在逻辑形式上,若基数是λ不可展开的当且仅当对于ZFC的基数的每个传递模型M负幂集,并使得在M中且M包含其所有长度小于的序列,那么将M中的元素按关系j非平凡基本嵌入到传递模型中,其中j的临界点即为且j≥λ。
若一个基数是可展开的,那么当且仅当它对于所有的序数λ就都是λ不可折叠的。
同时,若一个基数是强λ不可折叠的当且仅当对于每个ZFC负幂集的基数的传递模型M使得在M中并且M包含其所有长度小于的序列,那么就存在一个M到传递模型「N」中的非平凡基本嵌入j,其中j的临界点即为,而j≥λ,且Vλ即是N的子集。
最后,由于末尾的N包含了其所有长度为λ的序列,因而若一个基数是强可展开的,那么当且仅当它对于所有λ就都是强λ不可展开的。
强可展开基数的这些性质,其实本质上就属于超紧致基数的较弱版本,与VL一致,所以强展开的存在也意味着适当强迫公理较弱版本的一致性。
而矗立于这种大基数之上的,即是拉姆齐基数,此大基数及其定理,确立了具有R基数推广到不可数情况的特定性质。
即,若令lt表示的所有有限子集的集合,那么一个不可数的基数就可称为R,若对于每个函数flt→0,1,则就会有一个基数的集合A对于f是齐次的。
展开来讲,便是对于每个n,函数f在来自A的基数n的子集上都是常数,而若是A可以选择为的平稳子集,那么基数则不可称为R。
如果对于每个函数,基数实际上都可称为Rflt→0,1,有C是的一个封闭且无界的子集,于是对于C中的每个λ都具有不可数的共尾性,且有一个λ的无界子集对于f会是同质的。
略过那零零种种的复杂数学结构,所有强拉姆齐基数的上限,便赫然是可测基数。
这种大基数是不可数的,且在的幂集上存有在加性、非平凡、01值测度。
同时是可测的,则又意味着其便是将宇宙V的非平凡基本嵌入到传递类M的临界点。
总之,可测基数就是一种拥有,或者说使用了模型理论当中超强构造的高阶大基数。
而在拥有了这般骇世力量后,穆苍也并未满足,反而立刻就披着【自由回路】的身份马甲,通过【绝罔巢域】给统辖【自由回路】及其麾下军团的更高阶大将发送了一条辱骂讯息:
「老畜生,丑陋如你,为何还在世间盘恒,还不快快自缢亡毙!」
然而「短信」发出去后,没过多久却仅有一条内容为「?!」的讯息,通过【绝罔巢域】发到了穆苍这里。
「咦?脾气那么好,难得啊。」
穆苍眸光一闪,旋即又编辑了一条内容远比刚才那条还要辛辣过分许多的讯息,动念发送了过去。
嗡——
果然,这条讯息终于引爆了对方那位未定者大将的情绪,让其对穆苍产生了一股汹涌恶意。
而在这股极度遥远之恶意的刺激下,【无绝秘策】亦瞬然启动,将穆苍之本尊,霎然就跨域传送到了某座规模与强度相当于oodin基数的庞大怪诞疆域中。oodin基数可念为武丁基数
当然,在未定者一族所拥有的异数体系中,那个可与武丁基数所具强度对性的异常之数,应该唤作……【玄罟黹数】。
至于那与实数集决定性、内模型理论以及集合论宇宙绝对性理论,都有着极深关联的所谓武丁基数,则可以认为其即是某个彻底超越种种不可达类性质基数的强极限点,在它之下再无其他强极限点。
同时,武丁基数的公理结构亦是类G?del型构造可证集合宇宙(L)的核心组件之一。
而这种高阶大基数的数学构造,则是:若基数δ是武丁基数,如果对于每个函数fδ→δ存在<δ与f「?,并且存在一个初等嵌入jV→M具有临界点,则就使得Vjf?M。
由此,假定δ是武丁基数,并且G?P<δ是一个V型一般滤波器,那么在VG中就存在一个初等嵌入jV→M、M传递,使得VG2M<δ?M和jδδ。
除此之外,对于所有的a∈P<δ,a∈Giffj「?a∈j。
另外,虽然各个大基数公理间可以通过比较【一致性强度】,来获得一个较为明确的可以比较谁大谁小的线性层级。
可是这却并不代表这些大基数公理间,就会呈现出绝对的断离关系。
反之,这些大基数间的联系远比想象中的还要密切,且密切的多。
总之,大基数的世界非常复杂、抽象而深邃,并不能够完全与实体具象世界一一对应。
而在拥有了【玄罟黹数】级的异数力量后,穆苍便又惯例性的「脱下」未定者身份马甲。
开始让己身本体具备的那可测基数级本质、玄髓、根基,直面来自于【玄罟黹数】的刺激威胁。
旋即,耐不住刺激的【无绝秘策】就立时启动,毫无过程般的将穆苍一切所有,都从可测基数猛然提升到了武丁基数级别
。
可奇怪的是,在彻底蜕变升化为完美武丁基数级生命体之后,穆苍却并未立马去「碰瓷」下一位「幸运儿」,反而将注意力转移到了方才那个未定者大将的记忆当中。
因为祂在对方的记忆里,发现了一个大秘密。
即,无意义源流的诞生,很可能与那掌道者一族核心祖地——全知高塔有密切关联。
而未定者一族之所以建立自由国度,不断集结军力攻击掌道者一族,其最重要的原因之一,就是为了能够到达那必然国度最中央之处的全知高塔,并且登上塔尖。
「全知高塔……原来如此,原来那些未定者发动战争的目的是为了登塔。」
穆苍凝神思索,「而那些掌道者之所以会建立一条条庞大的主干防线支干防线,则是为了守塔,啧~什么大基数版王者荣耀。」
随后,祂又沉吟道:
「所以,若按照这情报所言,难道未定者一族的出现……会与那位统治所有掌道者的【高塔真王】有关么?会是祂……促成了无数未定者的诞生么?可如果是这样,这对祂又有何益处呢?」
显然,这个问题穆苍思考不出答案。
看来,只有将来打上那座全知高塔问一问那位真王才能知晓了。
只是在那个未定者大将的记忆里,有一条信息言称,若想要登上那座全知高塔,是需要条件的。
但这个所谓的条件到底是什么,那个未定者大将并不知晓。
「算了。」
穆苍微微摇首,「只要我足够强大,一切该知晓的,我必然会知晓。」
言罢,祂便开始了又一轮的「碰瓷」,目标则是名唤【瀷灞】的未定者元帅。
根据信息显示,这位统领无穷无量高阶未定军团的元帅,其生命等阶处在所谓的【斗?昡数】级别。
而【斗?眩数】所对应强度的大基数,即是……超紧致基数。
关于这种大基数,若用数学语言来描述,便是……对于任何基数,一个超紧致基数λ满足对于所有小于λ的,存在一个紧致的超滤子。
通过这种紧致的超滤子,超紧致基数可以「捕捉」或「控制」比小的所有集合之结构。
更具体的说,便是对于任何小于λ的基数,存在一个超滤子U,使得对于任何小于λ的集合A,如果A的势大于或等于,那么A属于U。
此外,对于任何少于个集合的集合族,如果这个族中每个集合的交集非空,那么整个族的交集也非空。
最后,若一个基数是超紧致的,如果对于每一个小于的正则基数λ都存在一个超滤子U,使得U不仅是一个超滤子,而且对于任何从λ到的函数都存在一个集合在U中,便能使得该集合中的所有元素在函数下的像都小于它们自己。
至于所谓紧致的超滤子,则可以认为其即是一个满足超滤子定义的集合族,并且这个族中每个集合的基数至少为,同时此超滤子对于少于个集合的族具有紧致性。
那么超滤子又是什么呢?
其具体定义,便是一种具备非空性超滤子不为空;封闭性若集合A和B都在超滤子中,那么它们的交集AB也在超滤子中;超集性质若集合A在超滤子中,那么A的任何超集也在超滤子中;以及有限交集性质超滤子中任意有限个集合的交集仍然在超滤子中的特殊集合族。
所以,超紧致基数即是一种远远凌驾于武丁基数之上的更高阶大基数。
略过「碰瓷」那【瀷灞】元帅的过程不谈,总之在【无绝秘策】又一次的启动运转后,穆苍便再一次跨域传送,降临到了一座极度浩瀚广阔的庞大怪诞宇宙当中。
而在降临至此
的一瞬间里,穆苍亦极为顺利的吞没并融合了那【瀷灞】元帅的一切本质、力量与记忆,达到了【斗?眩数】级别。
随后,穆苍就再度「脱下」身份马甲,再度让自身本质、根基与玄髓,直面了自己那古怪而诡谲的异数力量,刺激的【无绝秘策】再度启动,将祂的一切所有皆骤然拔升到了超紧致基数级。
可就在这一刻,穆苍竟突然从【瀷灞】的庞大记忆深处,嗅闻到了……终尽碎片的气息。
免费阅读.(记住本站网址,Www.XS52.info,方便下次阅读,或且百度输入“ xs52 ”,就能进入本站)