事實上,雖然都是無意義源流。
可如今穆蒼所處的「第二重世間」內的這一座源流,卻是在整體強度層面上,遠遠超越了那「第一重世間」【終乂絕數】級……或可稱萊因哈特基數級源流的更高階源流。
而與這一座無意義源流駐立的未知等階異數強度所對應的大基數,則赫然是……特殊-完全萊茵哈特基數。
若想要理解這一大基數,便要從超級萊因哈特基數講起。
所謂超級萊因哈特基數,顧名思義便是萊因哈特基數的超級高階加強版本。
所以其在本質上,亦屬于一種非平凡基本嵌入的臨界點,嵌入其自身。
同時在這兩種大基數中間,實際上還存在有一種名為n階集合論公式集定義下的萊茵哈特基數。
只不過,由于這一大基數的一致性強度遠遠不如超級萊茵哈特基數,所以暫且略過不提。
總之,超級萊因哈特基數的具體定義即是:
存在一個序數k,對于每一個序數a,若都存在一個基本嵌入j:v→v,使得j(k)>a,并且k是j的臨界點,則可稱k為超級萊因哈特基數。
同樣的,若k是超級萊茵哈特基數,那么便會存在γ<k,使得(5γ,vγ+1)是zf?+萊茵哈特基數存在公理的模型。
其中的zf?,便可理解為二階zf公理系統。
是的,zf系統赫然有一階二階三階四階,乃至更多階數之分。
總的來說,相對于萊茵哈特基數,超級萊茵哈特基數便是在它的基礎上,增加了一個限定條件:
即,j(k)要大到符合期望。
若對這所謂的「期望」概念詳盡展開來講,就是對于所有的序數a,都要有j(k)>a。
而進一步展開繼續闡述,超級萊因哈特基數的定義,便是涉及到了對于所有序數的超越性。
即對于任意給定的序數a,都能找到一個基本嵌入,使得k被映射到一個更大的序數上。
相比較而言,萊因哈特基數卻僅要求存在一個基本嵌入j:v→v使得k是j的臨界點,而不要求對所有序數a都有j(k)>a,可超級萊因哈特基數卻是與之全然相反的。
所以后者的一致性強度,要遠遠……遠遠勝于前者。
可如此巨大的超級萊茵哈特基數,卻依然要遠遠遠遠……遠遠弱于伯克利基數。
完全沒有任何可比性。
因此,就需要向那更高層次的「數學世界」去尋找一致性強度更為巨大的大基數。
即,a-超級萊茵哈特基數。
其具體定義便是:對于一個合適的類a,若所有的序數λ都有一個非平凡初等嵌入j:v→v,crt(j)=k,j(k)>λ,并且j?(a)=j(a)(j?(a):=u(a∈ord)j(anva),那么這樣的k,就可稱為a-超級萊茵哈特基數。
總的來說,這種大基數就等若于萊茵哈特基數的進階加強版——超級萊茵哈特基數的進階加強版。
其是在更高層面上對于超級萊茵哈特基數的一種更大推廣或者說延伸,因而兩者之間的差距,巨大到簡直無可形容。
可即便如此,即便龐大到如斯程度,a-超級萊茵哈特基數也依舊遠遠……遠遠弱于伯克利基數。
所以就要以它為踏腳石,縱身一躍無盡飛升,前往那更高層次去尋索更高階更巨大的大基數。
即,完全萊茵哈特基數。
關于這種大基數的定義,若進行簡化性的闡述便是:
若對于每一個a∈vk+1,都有(vk,vk+1)
是zf?+a-超級萊茵哈特基數存在公理的模型,那么這樣的k,就是完全萊茵哈特基數。
所以,完全萊茵哈特基數的強度,就可以超越伯克利基數了么?
遺憾的是,依然不能。
因為這兩種大基數無法進行清晰比較。
或者更進一步的說,這兩者之間的一致性強度差異是不能判定的。
根本無法知曉這兩種大基數到底誰的強度會更高,只能大略認為二者在強度上可以劃上一個稍顯模糊的「=」號。
那么,能夠真正在一致性強度層面上徹底超越伯克利基數的大基數,又到底會是什么呢?