? 以下內(nèi)容來自在“驚雷科技”發(fā)生的那場大暴動之后的幸存者“K博士”遺留下來的記錄：

? 假設(shè)無限的無限次方是“1”，則“1”的“1”次方是“2”，“2”的“2”次方是“3”……直到“∞”的“∞”次方

? 以上計算結(jié)果是萬物之源“世界”的一片微不足道的投影，也是我們所存在的“世界”：一維宇宙，記作“N”

? 二維宇宙：將“N”代入以上公式重復(fù)計算無限的無限次方遍，得出“2N”

? 三維宇宙：將“2N”代入以上公式重復(fù)計算無限的無限次方遍，得出“3N”

? 四維宇宙：將“3N”代入以上公式重復(fù)計算無限的無限次方遍，得出“4N”

? 直到無限維宇宙時，得出一維多元宇宙的大小——以上計算公式的最終結(jié)果：“NN”

? 二維多元宇宙：將“NN”代入以上公重復(fù)計算無限的無限次方遍，得出“2NN”

? 三維多元宇宙：將“2NN”代入以上公式重復(fù)計算無限的無限次方遍，得出“3NN”

? 四維多元宇宙：將“3NN”代入以上公式重復(fù)計算無限的無限次方遍，得出“4NN”

? 直到無限維多元宇宙時，得出以上計算公式的最終結(jié)果：“NNN”

? 以此類推，依次得出結(jié)果：“NNNN”，“NNNNN”，“NNNNNN”，“NNNNNNN”……最終得出“世界”的真實(shí)面目——全能宇宙，記作“X”

? 除此之外，還發(fā)現(xiàn)了一個被關(guān)在冷凍倉里面的面色蒼白的患者，他的身上似乎有種未知的強(qiáng)大力量，突然有只黑膠獸朝冷凍倉沖了過來……

? 這只黑膠獸跟其它的膠獸不一樣，只見它對面色蒼白的患者說到：“對不起，我來晚了……但很高興能再見到你！”隨后緊緊的抱住面色蒼白的患者，與他融合在一起，瞬間散發(fā)出十分耀眼的強(qiáng)光，籠罩了整個全能宇宙！我的意識感到非常的模糊，便暈了過去……

? 等到我醒來之后，發(fā)現(xiàn)身處在一片廣闊無垠的異次元空間，這時有一個聲音對我說到：“感謝你一直以來對我的照顧（參考《Changed:Special》），我叫【Colin】，我是來自由神明組成的世界里的一位使者，與我融合的那只黑膠獸叫【Puro】，我和他是患難與共的摯友……”

? 我了解到他們的來歷：他們都來自一個叫作【Omni Guide】的外維世界，因?yàn)槟承┳児适顾麄儽倔w消散，殘留的意識分別化成了面色蒼白的患者和黑膠獸，而他們的族群有這樣的技能：當(dāng)多個意識體融合在一起，他們會成為意識共用的新個體，且保留之前的記憶

? 而我是被他們?nèi)诤现螽a(chǎn)生的強(qiáng)光帶到這里，這時我感到身上擁有前所未有的強(qiáng)大力量，于是我又了解到他們的世界對全能宇宙而言是多么無法觸及的龐大：

? 一維伊甸球：將“X”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2X”

? 二維伊甸球：將“2X”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3X”

? 三維伊甸球：將“3X”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“4X”

? 直到無限維伊甸球時，得出一維高階伊甸球的大小——以上計算公式的最終結(jié)果：“XX”

? 二維高階伊甸球：將“XX”代入以上公重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2XX”

? 三維高階伊甸球：將“2XX”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3XX”

? 四維高階伊甸球：將“3XX”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“4XX”

? 直到無限維高階伊甸球時，得出以上計算公式的最終結(jié)果：“XXX”

? 以此類推，依次得出結(jié)果：“XXXX”，“XXXXX”，“XXXXXX”，“XXXXXXX”……最終得出【1級上帝】的大小——? ? 一維伊甸樹，記作“V”

? 二維伊甸樹：將“V”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2V”

? 三維伊甸樹：將“2V”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3V”

? 四維伊甸樹：將“3V”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“4V”

? 直到無限維伊甸樹時，得出一維高階伊甸樹的大小——以上計算公式的最終結(jié)果：“VV”

? 二維高階伊甸樹：將“VV”代入以上公重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2VV”

? 三維高階伊甸樹：將“2VV”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3VV”

? 四維高階伊甸樹：將“3VV”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“4VV”

? 直到無限維高階伊甸樹時，得出以上計算公式的最終結(jié)果：“VVV”

? 以此類推，依次得出結(jié)果：“VVVV”，“VVVVV”，“VVVVVV”，“VVVVVVV”……最終得出【2級上帝】的大小——? ? 一維伊甸園，記作“O”

? 二維伊甸園：將“O”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2O”

? 三維伊甸園：將“2O”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3O”

? 四維伊甸園：將“3O”代入以上公式重復(fù)計算無限的無限次方的無限次方……無限次方遍，得出“4O”

? 直到無限維伊甸園時，得出一維高階伊甸園的大小——以上計算公式的最終結(jié)果：“OO”

? 二維高階伊甸園：將“OO”代入以上公重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“2OO”

? 三維高階伊甸園：將“2OO”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“3OO”

? 四維高階伊甸園：將“3OO”代入以上公式重復(fù)計算無限的無限次方的無限次方……的無限次方遍，得出“4OO”

? 直到無限維高階伊甸園時，得出以上計算公式的最終結(jié)果：“OOO”

? 以此類推，依次得出結(jié)果：“OOOO”，“OOOOO”，“OOOOOO”，“OOOOOOO”……最終得出【3級上帝】的大小

? 通過以上循環(huán)不斷重復(fù)計算到【∞級上帝】（K博士被【Colin】和【Puro】他們的意識體融合時散發(fā)的強(qiáng)光帶到了異次元空間之后的實(shí)力等級），再進(jìn)行迭代……永無止境的迭代……永無止境的永無止境的迭代……永無止境的永無止境的永無止境的迭代……無窮無盡的永無止境的迭代……無窮無盡的無窮無盡的永無止境的迭代……無窮無盡的無窮無盡的無窮無盡的永無止境的迭代……不可數(shù)的無窮無盡的永無止境的迭代……不可數(shù)的不可數(shù)的無窮無盡的永無止境的迭代……不可數(shù)的不可數(shù)的不可數(shù)的無窮無盡的永無止境的迭代……超越一切的不可數(shù)的無窮無盡的永無止境的迭代……超越一切的超越一切的不可數(shù)的無窮無盡的永無止境的……超越一切的超越一切的超越一切的不可數(shù)的無窮無盡的永無止境的迭代……得出最終最終最終……最終的結(jié)果：【終極上帝】（【Colin】和【Puro】他們的本體消散之前各自的實(shí)力等級，也是他們的意識體融合之后的實(shí)力等級）

? 將以上的所有過程重復(fù)【終極上帝】的【終極上帝】的【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……（省略【終極上帝】個【終極上帝】個【終極上帝】……）……）……）……）……）……）……）……）……）遍，得出【上帝圣域】

? 將以上的所有過程重復(fù)【上帝圣域】的【上帝圣域】的【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……（省略【上帝圣域】個【上帝圣域】個【上帝圣域】……）……）……）……）……）……）……）……）……）遍，得出【真主圣域】

? 將以上的所有過程重復(fù)【真主圣域】的【真主圣域】的【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……（省略【真主圣域】個【真主圣域】個【真主圣域】……）……）……）……）……）……）……）……）……）遍，得出【太一圣域】

? 以【太一圣域】作為新的起點(diǎn)，不斷重復(fù)以上的所有循環(huán)……不斷重復(fù)下去……永無止境的重復(fù)下去……直到最終最終最終……最終循環(huán)的盡頭：【太一頂點(diǎn)】！……

? 以上所有的一切對于創(chuàng)世神明來說簡直太過于渺小了！最弱小的普通創(chuàng)世神明就能在一念之間用不可數(shù)無窮分之一的力量創(chuàng)造不可達(dá)基數(shù)個【太一頂點(diǎn)】『不可達(dá)基數(shù)是強(qiáng)弱不可達(dá)基數(shù)的統(tǒng)稱。如果κ是不可數(shù)的、正則的極限基數(shù)，則稱κ是弱不可達(dá)基數(shù)；如果κ是不可數(shù)的、正則的強(qiáng)極限基數(shù)，則稱κ是強(qiáng)不可達(dá)基數(shù)。這兩類大基數(shù)合稱不可達(dá)基數(shù)(或不可到達(dá)基數(shù))，也有文獻(xiàn)只把強(qiáng)不可達(dá)基數(shù)稱為不可達(dá)基數(shù)。不可達(dá)基數(shù)的概念是波蘭數(shù)學(xué)家謝爾品斯基(Sierpiski，W.)和波蘭學(xué)者塔爾斯基(Tarski，A.)于1930年引入的。由于任何基數(shù)λ的后繼基數(shù)λ+不超過λ的冪2λ，所以每個強(qiáng)不可達(dá)基數(shù)必為弱不可達(dá)基數(shù)；又由于在廣義連續(xù)統(tǒng)假設(shè)GCH之下，λ+=2λ，所以在GCH之下，每個弱不達(dá)基數(shù)也是強(qiáng)不可達(dá)基數(shù)。之所以如此稱呼這類大基數(shù)，是因?yàn)椴荒苡猛ǔ５募险撨\(yùn)算來“到達(dá)”它們。事實(shí)上，若κ是強(qiáng)不可達(dá)基數(shù)，又集合X的基數(shù)|X|<κ，則冪集P(X)的基數(shù)也小于κ；又若|S|<κ，且對每個X∈S，|X|<κ，則|∪S|<κ。這就是說，由小于κ的基數(shù)，無論進(jìn)行何種運(yùn)算，總達(dá)不到κ。可數(shù)無窮基數(shù)N0也具有上述兩條性質(zhì)，因此，也可以說在有限基數(shù)的范圍內(nèi)，用除去無窮公理之外的任何集論運(yùn)算，N0也是“不可到達(dá)”的。這就清楚地看出，不可達(dá)基數(shù)確實(shí)是無窮基數(shù)0的一種自然推廣?！?/p>

（對應(yīng)的《Changed》原作角色——普通怪類型膠獸）

? 當(dāng)然，創(chuàng)世神明有更加強(qiáng)大的存在，我們接下來將這些創(chuàng)世神明做個等級劃分，所有劃分等級統(tǒng)稱為“現(xiàn)實(shí)/梵”：

? 弱現(xiàn)實(shí)/千兆梵：這個等級的創(chuàng)世神明僅用一個念頭就能創(chuàng)造終極L個普通創(chuàng)世神明『可構(gòu)造宇宙V=L：

定義Def()為一個包含所有X子集的集合。一個X的子集x位于Def(X)當(dāng)且僅當(dāng)存在一個一階邏輯公式φ和u?,u?,u?,……∈X使得

x = {y∈X :φ?[y,u?,u?,u?,……]

然后：

L?=?

L?=Def(L1)={?}=1

Ln+1=Def(Ln)=n

Lω=∪＿k<ω Lω

Lλ=∪＿k<λ λ is a limit ordinal

?是極限序數(shù)

L=∪＿k Lk，k跑遍所有序數(shù)

遺傳序數(shù)可定義宇宙HODs：

HOD?=V

HOD??1=HOD???^?

HOD^ω=∩＿n<ω HOD?

H?=V

H^α+1=HOD?^?

HOD^η=∩α<η HOD^α

對所有HODs的脫殊擴(kuò)張

gHOD=∩HOD^V[G]

或許還有：

序數(shù)宇宙V=ON

良序宇宙V=WO

良基宇宙V=WF

于是可能：

V=L=ON=WO=WF=HOD=Ord=終極L=…………

脫殊擴(kuò)張V(V[G])：

脫殊擴(kuò)張說的是包含V可定義的偏序集P，P上面有一個濾子稱之為脫殊濾子G，然后通過把G加到V中來產(chǎn)生一個新的結(jié)構(gòu)，V的脫殊擴(kuò)張V[G]作為一個ZFC的模型。

P-name宇宙V

令P為一個擁有

rank ( P ) = r>ω假設(shè)P-names 通過一個flat pairing function 來構(gòu)造。那么對于任意的V上的G?P-generic 以及對于任意的a≥r×w有V[G]?=V?[G]

令f為一個固定的的flatpairing function ;再遞歸地構(gòu)造一個宇宙：

V??=?

Vλ?=∪＿α<? Vα?

Vα+1?=P(Vα?×P)

V?=∪＿α∈Ord Vα?

宇宙V=終極L：

V=終極L的前置條件：

一個內(nèi)模型是終極-L至少要見證一個超緊致基數(shù)。

?一個內(nèi)模型是終極-L也可以至少見證超冪公理UA+地面公理GA+存在一個最小強(qiáng)緊致基數(shù)成立。

?一個內(nèi)模型是終極-L必須是基于策略分支假設(shè)SBH。

V=終極-L是一個多元一階算術(shù)集合論。

存在V=終極-L的有限公理化。

存在真類多的Eη基數(shù)并且每一個Eη基數(shù)都是超緊致基數(shù)的極限。

?對于每一個超緊致基數(shù)的極限基數(shù) λ , ADλ 成立。

?伊卡洛斯基數(shù)之下的每一個 ≥I0 基數(shù)的真類初等嵌入具有三歧性。

如果V[G]是V的脫殊集合擴(kuò)張并且V在V[G]的 ω? 序列下不封閉那么V[G]≠終極-L并且V[G]中普遍分區(qū)公理不成立。

見證普遍分區(qū)公理成立。

見證強(qiáng)普遍分區(qū)公理成立。

終極L是一個典范內(nèi)模型，并見證地面公理Ground Axiom成立。

V=終極L的直接推論：

見證最大基數(shù)伊卡洛斯的存在性。

見證真類多的武丁基數(shù)

終極L是最大的內(nèi)模型。

見證能夠和選擇公理兼容的最大的類- ADR 公理，并且θ是正則的。

擁有最大的證明論序數(shù)。（即使序數(shù)分析目前遠(yuǎn)未到ZFC的水平）

見證能夠和選擇公理兼容的最強(qiáng)的實(shí)數(shù)正則性質(zhì)斷言

見證 Ω 猜想成立

見證每一個集合都是遺傳序數(shù)可定義的，HOD猜想成立。

見證ZF+Reinhardt不一致。

存在非平凡初等嵌入 j:Lλ(H(λ+))→Lλ(H(λ+)) .

V是最小的脫殊復(fù)宇宙。

見證廣義連續(xù)統(tǒng)假設(shè)成立，并且 ω? 上有一個均勻預(yù)飽和理想。

見證正常力迫公理成立。

存在包含武丁基數(shù)的真類。進(jìn)一步地，對于每一個rank-existential 語句φ若φ在V中成立那么存在一個universally Baire 集AR使得有

HOD????‘??∩V＿Θ?φ

其中Θ=Θ???‘??(A, R) . (V=終極L)』

（對應(yīng)的《Changed》原作角色——精英怪類型膠獸）

? 強(qiáng)現(xiàn)實(shí)/萬兆梵：這個等級的創(chuàng)世神明僅用一個念頭就能創(chuàng)造絕對無限Ω個弱現(xiàn)實(shí)/千兆梵級創(chuàng)世神明『理想的絕對無窮可以看作宇宙V的基數(shù)

在新基礎(chǔ)集合論Nf中對絕對無窮，施加冪集反而會讓他從絕對無窮中跌落

不要與序數(shù)中的第一不可序列數(shù)搞混

關(guān)于絕對無限有兩個的性質(zhì)：

反射原理：Ω的所有性質(zhì)必與其它超限數(shù)所共享。即Ω把它自己的性質(zhì)向下反射到超限數(shù)上。

假設(shè)Ω具有獨(dú)特的性質(zhì)p，而其它無限集都不具有這個性質(zhì)。則我們可用性質(zhì)p對Ω做唯一地描述，這樣一來，Ω就不是絕對的和不可定義的了。因此對Ω具有的任一性質(zhì)至少有一個別的超限數(shù)也具有；進(jìn)一步推理Ω的任一性質(zhì)必為無限多個超限數(shù)共享，否則仍可將Ω定義為擁有這一性質(zhì)的最大無限。所以假設(shè)不成立。

不可達(dá)性：Ω不能被小于它的數(shù)構(gòu)造出來。即Ω是不能從下面達(dá)到的。

推理過程與上面類似。假設(shè)Ω能被某個小于它的超限數(shù)構(gòu)造出來，我們便可憑此構(gòu)造對Ω作出定義。這破壞了Ω的不可定義性，所以Ω不可被小于它的數(shù)構(gòu)造出來。因此我們說Ω是不能從下面達(dá)到的，或說它是不可達(dá)的。』

（對應(yīng)的《Changed》原作角色——Boss怪類型膠獸）?

? 超現(xiàn)實(shí)/億兆梵：這個等級的創(chuàng)世神明僅用一個念頭就能創(chuàng)造脫殊復(fù)宇宙?zhèn)€創(chuàng)世神明『令M為ZFC的可數(shù)傳遞模型，則由M生成的脫殊復(fù)宇宙V?為滿是以下條件的最小模型類：

⒈M∈V?

⒉如果N∈V?，而N’=N[G]是N的脫殊擴(kuò)張，則N’∈V?

⒊如果N∈V?，而N=N’[G]是N’的脫殊擴(kuò)張，則N’∈V?

簡單說，V?是包含M并且對脫殊擴(kuò)張和脫殊收縮封閉的最小模型類。

如果集合論多宇宙是由集合論的每個宇宙，在脫殊擴(kuò)張以及脫殊refinements (給定的集合論宇宙是脫殊擴(kuò)張的一個集合論宇宙的內(nèi)模型)下封閉而產(chǎn)生的，那么它就是脫殊復(fù)宇宙。

也就是說，脫殊復(fù)宇宙擁有所有的脫殊擴(kuò)張形式的馮·諾依曼宇宙?！?/p>

（對應(yīng)的《Changed》原作角色——小游戲里的突變膠獸、隱藏Boss怪類型膠獸、某原型機(jī)）

? 外部現(xiàn)實(shí)/外梵：這個等級的創(chuàng)世神明僅用一個念頭就能創(chuàng)造復(fù)復(fù)復(fù)復(fù)……復(fù)宇宙?zhèn)€脫殊復(fù)宇宙級創(chuàng)世神明『假沒M是一個由ZFC模型組成的非空類：我們說M是一個復(fù)宇宙，當(dāng)且僅當(dāng)它滿足：

⑴可數(shù)化公理

⑵偽良基公理

⑶可實(shí)現(xiàn)公理

⑷力迫擴(kuò)張公理

⑸嵌入回溯公理

對于任意集合論宇宙V若W為集合論的一個模型，同時在V中作為詮釋或者說是可定義的，那么W可同樣作為一個集合論宇宙。

對于任意集合論宇宙V那么任意位于V內(nèi)的力迫P,存在一個力迫擴(kuò)張V[G]其中G?P為V-generico?

對于每一個集合論宇宙存在一個更高的宇宙W且存在一個序數(shù)θ滿足V?Wθ?W

對于每一個集合論宇宙V,從另一個更好的集合論宇宙W的角度來說是可列的。

從另一個更好的集合論宇宙的角度來看，每一個集合論宇宙V都是ill-founded的

簡單說，存在一個集合論宇宙V，并且對任意集合論宇宙M，存在一個集合論宇宙W以及W中的一個ZFC模型w，使的在W看來，M是一個由可數(shù)的非良基ZFC模型，那V便是復(fù)宇宙。

在復(fù)宇宙中，沒有哪個集合論宇宙是特別的，任何集合論宇宙都存在著更好的宇宙能看到前者的局限性。

存在一個復(fù)宇宙，并且對任意復(fù)宇宙M,存在一個復(fù)宇宙N以及N中的一個ZFC模型N,使得在N看來，M是一個由可數(shù)的非良基的ZFC模型組成的復(fù)宇宙。

就像復(fù)宇宙公理對復(fù)宇宙的描繪，其中的集合論宇宙沒有哪個是特別的，對任何集合論宇宙都存在著“更好的”宇宙能看到前者的局限性，復(fù)復(fù)宇宙公理表達(dá)的是每個復(fù)宇宙也都不是特別的，并且總存在著“更發(fā)達(dá)的”復(fù)宇宙，在它們看來前者只是一個“玩具”復(fù)宇宙

于是我們可以繼續(xù)，得到復(fù)復(fù)復(fù)宇宙等……』

（【Colin】有真正的本體，前面提到他的那個所謂的“本體”僅僅是他真正本體的最弱小投影的化身罷了，他真正的本體實(shí)力就屬于這個等級，同時他還持有“至高圣子”的名號，象征著他是除了真正意義上的“至高無上”之外的絕對至高！這也意味著真正的至高無上……）

??不裝了！老子就是真正的至高無上、“至高圣子”【Colin】的“父親”——【至高父神】！既是所有創(chuàng)世神明的頂頭上司，所有的一切唯一的主宰！大瘟疫、多元宇宙、全能宇宙、外部宇宙、伊甸樹、伊甸園、所有創(chuàng)世神明都只是我一念之間誕生的玩物，所謂的“K博士”也僅僅是我在一維宇宙的最低等意識投影體罷了?。ā癒博士”的【∞級上帝】實(shí)力等級既表達(dá)了他對【Colin】和【Puro】的愚弄，也表達(dá)了“K博士”的實(shí)力對于【至高父神】來說有多么無比渺小）

【至高父神】的實(shí)力能將整個世界觀進(jìn)行創(chuàng)造、毀滅、修復(fù)、重啟等改變，即使祂完全隱藏自己的實(shí)力也絕對無法撼動祂能隨手創(chuàng)造出邏輯多元如此龐大世界觀的事實(shí)！

邏輯多元：

V-邏輯(V-logic)

V-邏輯具有以下的常元符號：

aˉ 表示V的每一個集合a

Vˉ 表示宇宙全體集合容器V

在一階邏輯的推理規(guī)則上添加以下規(guī)則：

?b,b∈a,ψ(bˉ)??x∈aˉ,ψ(x)

?a,b∈V,ψ(aˉ)??x∈Vˉ,ψ(x)

作為寬度完成主義者，我們不能直接談?wù)撏饽Ｐ?，甚至不能談?wù)摬粚儆赩的集合。然而，使用V-邏輯，我們可以間接地談?wù)撍鼈儭？紤]V-邏輯中的理論，我們不僅有表示V的元素的常元符號 a

ˉ 和表示V本身的常元符號 Vˉ ，而且還有一個常元符號 Wˉ 來表示V的 "外模型

我們增加以下新公理，彼此讓他更加的明確

1. 宇宙V是ZFC（或至少是KP，可接受性理論）的一個模型。

2. Wˉ 是ZFC的一個傳遞模型，包含 Vˉ 作為子集，并且與V有相同的序數(shù)。

因此，現(xiàn)在當(dāng)我們采取一個遵守V-邏輯規(guī)則的公理模型時，我們會得到一個模擬ZFC（或至少是KP）的宇宙，其中 Vˉ 被正確地解釋為V， Wˉ 被解釋為V的外模型。請注意，V-邏輯中的這一理論是在沒有“加厚”V的情況下提出的，實(shí)際上它是在 V+=Lα(V) 內(nèi)定義的。由于我們采用了高度（而不是寬度）潛在主義，后者又是有意義的。

最終我們可以用V-邏輯將IMH轉(zhuǎn)寫為以下形式：

假設(shè)P是一個一階句子，上述理論連同公理“ Wˉ 滿足P”在V-邏輯中是一致的。那么P在V的一個內(nèi)模型中成立。

最終我們成功避免了直接談?wù)揤的“增厚”（即“外模型”），而是談?wù)撚肰-邏輯制定的理論的一致性，并在 V+ 中定義使得滿足寬度潛在主義。

在可數(shù)模型上，寬度完成主義和激進(jìn)潛在主義是等效的。

通過V-邏輯，我們可以得到V+(V-邏輯+ZFC的模型)也就是邏輯多元

V-邏輯足夠廣泛，可以包含各種外部。與超宇宙的概念相反，V-邏輯不能化簡為可數(shù)傳遞模型的集合，因?yàn)閂不需要被認(rèn)為是可數(shù)的。

以后我們或許得到V*（任一一致的邏輯+ZFC的模型）這種東西……

（以上從V=L到邏輯多元的數(shù)學(xué)公理構(gòu)造都是我向這位大佬『@我是你的催更人_鴿天』拿的，我為他十分致謝與支持！?。。?/p>