ic盒子(論天上)
義一個(gè)最小的無(wú)限,即所有自然數(shù)的集合,稱為aleph-0,用χ0表達(dá),也可以用N(單體)表示,那么可以出現(xiàn)
N×N(多元)
N×N×N(無(wú)限多元)
……
N×N×N×N×N……=N∧N(無(wú)限盒子)
N∧N∧N(無(wú)限層無(wú)限盒子)
……
N∧N∧N…(省略N個(gè)N∧N)∧N或N↑↑N(指數(shù)塔)
……
N↑N…N↑N或N→→N
……
N→N→N→N→N→N→N→N→N→N→N→N→N→N→N→N→N→N→N……
…………
盡管上述過(guò)程好像非常大,但這些數(shù)的勢(shì)與N實(shí)際上相等,那么是否有相對(duì)于N來(lái)說(shuō)也是不可達(dá)的數(shù)?答案是有,它是aleph-1,我們用N1表示,也可以用Ρ(N)表示,是N內(nèi)所有冥集的集合,同理,我們可以用此方式構(gòu)造更大的aleph數(shù)
N=N
N1=Ρ(N)
N2=Ρ(Ρ(N))
N3=Ρ(Ρ(Ρ(N)))
N∞=Ρ(Ρ(Ρ(Ρ……N)))))))……)) aleph-∞
在以上的阿列夫數(shù)中,每一層更高的阿列夫數(shù)相比上一層阿列夫數(shù)都具有不可達(dá)性,那么仍存在通過(guò)集合冪集和替代性公理來(lái)構(gòu)造更大的阿列夫數(shù),我們用χ來(lái)表示“阿列夫或aleph”一詞,則有
χχ1
……
χχχ1
……
……
χχχ……(重復(fù)2N次)χχN
……
……
……
以此為重復(fù),我們可以不斷構(gòu)造更為巨大的不動(dòng)點(diǎn)結(jié)構(gòu),以及超越這些不動(dòng)點(diǎn)的更高數(shù)學(xué)概念,盡管它們?nèi)匀槐淮蠡鶖?shù)的陰影所壓迫著。
存在以下大基數(shù):不可達(dá)基數(shù)、馬洛基數(shù)、弱緊致基數(shù)、不可描述基數(shù)、強(qiáng)可展開基數(shù)、拉姆齊基數(shù)、強(qiáng)拉姆齊基數(shù)、可測(cè)基數(shù)、強(qiáng)基數(shù)、伍丁基數(shù)、超強(qiáng)基數(shù)、強(qiáng)緊致基數(shù)、超緊致基數(shù)、可擴(kuò)基數(shù)、殆巨大基數(shù)、巨大基數(shù)、超巨大基數(shù)、n-巨大基數(shù)、萊茵哈特基數(shù)、伯克利基數(shù)……它們是超越一切阿列夫不動(dòng)點(diǎn)的基數(shù),盡管如此巨大,它們卻仍不處于頂點(diǎn)之處
V=Ultimate L,即馮諾依曼宇宙V與哥德爾宇宙L,
為馮諾依曼宇宙V:
Vo=?
V1={?}
V2={?,{?}}
……
Vn+1=Ρ(?)
……
Vω=V1∪V2∪V3∪……∪Vn∪……=∪(k<ω)Vκ
……
Vλ=[Ρ(Vα)若λ=α+1及∪(κ<λ)Vκ若λ為極限序數(shù)]
V=∪(κ)Vκ
k跑遍所有序數(shù)
令ord為所有序數(shù)的類
則V=∪_k∈ord V_k
為哥德爾宇宙L:
Lo=?
L1=Def(Lo)=Def(?)= {?}
...
Ln+1 = Def(Ln)
Lω =L
o ∪ L1 ∪···∪ Ln ∪···= ∪(K<ω)Lκ
…
Def(Lα)若入=α+1
Lλ= ∪(κ<λ) Ln 若入是極限序數(shù)
L=∪Lκ,k跑遍所有序數(shù)
那么這就夠大了嗎?并不,看以下構(gòu)造
脫殊復(fù)宇宙:如果集合論多宇宙是由集合論的每個(gè)宇宙,在脫殊擴(kuò)張以及脫殊refinements (給定的集合論宇宙是脫殊擴(kuò)張的一個(gè)集合論宇宙的內(nèi)模型)下封閉而產(chǎn)生的,那么它就是脫殊復(fù)宇宙,也就是說(shuō),脫殊復(fù)宇宙擁有所有的脫殊擴(kuò)張形式的馮·諾依曼宇宙,可以理解為宇宙V的多元宇宙。
復(fù)復(fù)宇宙:
存在一個(gè)復(fù)宇宙.并且對(duì)任意復(fù)宇宙M,存在一個(gè)復(fù)宇宙N以及N中的一個(gè)ZFC模型N,使得在N看來(lái),M是一個(gè)由可數(shù)的非良基的ZFC模型組成的復(fù)宇宙。
就像復(fù)宇宙公理對(duì)復(fù)宇宙的描繪,其中的集合論宇宙沒(méi)有哪個(gè)是特別的,對(duì)任何集合論宇宙都存在著“更好的”宇宙能看到前者的局限性,復(fù)復(fù)宇宙公理表達(dá)的是每個(gè)復(fù)宇宙也都不是特別的,并且總存在著“更發(fā)達(dá)的”復(fù)宇宙,在它們看來(lái)前者只是一個(gè)“玩具”復(fù)宇宙
于是我們可以繼續(xù),得到復(fù)復(fù)復(fù)宇宙等……
邏輯多元:
V-邏輯(V-logic)
V-邏輯具有以下的常元符號(hào):
aˉ 表示V的每一個(gè)集合a
Vˉ 表示宇宙全體集合容器V
在一階邏輯的推理規(guī)則上添加以下規(guī)則:
?b,b∈a,ψ(bˉ)??x∈aˉ,ψ(x)
?a,b∈V,ψ(aˉ)??x∈Vˉ,ψ(x)
作為寬度完成主義者,我們不能直接談?wù)撏饽P?,甚至不能談?wù)摬粚儆赩的集合。然而,使用V-邏輯,我們可以間接地談?wù)撍鼈?。考慮V-邏輯中的理論,我們不僅有表示V的元素的常元符號(hào) a
ˉ 和表示V本身的常元符號(hào) Vˉ ,而且還有一個(gè)常元符號(hào) Wˉ 來(lái)表示V的 "外模型
我們?cè)黾右韵滦鹿怼?/p>
1. 宇宙V是ZFC(或至少是KP,可接受性理論)的一個(gè)模型。
2. Wˉ 是ZFC的一個(gè)傳遞模型,包含 Vˉ 作為子集,并且與V有相同的序數(shù)。
因此,現(xiàn)在當(dāng)我們采取一個(gè)遵守V-邏輯規(guī)則的公理模型時(shí),我們會(huì)得到一個(gè)模擬ZFC(或至少是KP)的宇宙,其中 Vˉ 被正確地解釋為V, Wˉ 被解釋為V的外模型。請(qǐng)注意,V-邏輯中的這一理論是在沒(méi)有“加厚”V的情況下提出的,實(shí)際上它是在 V+=Lα(V) 內(nèi)定義的。由于我們采用了高度(而不是寬度)潛在主義,后者又是有意義的。
最終我們可以用V-邏輯將IMH轉(zhuǎn)寫為以下形式:
假設(shè)P是一個(gè)一階句子,上述理論連同公理“ Wˉ 滿足P”在V-邏輯中是一致的。那么P在V的一個(gè)內(nèi)模型中成立。
最終我們成功避免了直接談?wù)揤的“增厚”(即“外模型”),而是談?wù)撚肰-邏輯制定的理論的一致性,并在 V+ 中定義使得滿足寬度潛在主義。
在可數(shù)模型上,寬度完成主義和激進(jìn)潛在主義是等效的。
通過(guò)V-邏輯,我們可以得到V+(V-邏輯+ZFC的模型)也就是邏輯多元
V-邏輯足夠廣泛,可以包含各種外部。與超宇宙的概念相反,V-邏輯不能化簡(jiǎn)為可數(shù)傳遞模型的集合,因?yàn)閂不需要被認(rèn)為是可數(shù)的。
以后我們或許得到V*(任一一致的邏輯+ZFC的模型)這種東西……?
然而,它們?nèi)匀徊⑽从|到數(shù)學(xué)的一絲底層之限,我們構(gòu)造一個(gè)符號(hào)Ω,它代表了所有通過(guò)數(shù)學(xué)內(nèi)的集合論關(guān)系可以或不可以得出的數(shù)學(xué)公理、概念、構(gòu)造……等事物,包括了我們以上得出的所有構(gòu)造,同時(shí),Ω代表著所有的Ω的數(shù)學(xué)構(gòu)造鏈成的數(shù)學(xué)構(gòu)造條鏈成的數(shù)學(xué)大鏈條鏈成的……,最終形成一個(gè)Ω維時(shí)空連續(xù)體,而其中的每條鏈中的角落與縫隙又藏著不可想像之?dāng)?shù)的鏈,而在Ω之下,又有一個(gè)極巨大的構(gòu)造
將宇宙V及以上的脫殊復(fù)宇宙化為空集,重復(fù)構(gòu)造宇宙V及以上的脫殊復(fù)宇宙,就這樣無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套……無(wú)限嵌套………………最后得出V構(gòu)造不動(dòng)點(diǎn)
設(shè)當(dāng)前V構(gòu)造不動(dòng)點(diǎn)為1
則2越其1了1111111……(11111111……(11111111……(1111111……(111111111……))))…………次的1
則3重復(fù)2的步驟,
則4重復(fù)3的步驟,
……
則最終得出超越以上一切構(gòu)造的11,即將以上的最大構(gòu)造∞重復(fù)∞的步驟,依此過(guò)程,有12……111…………222…………333……………………
……直到了這個(gè)構(gòu)造的最大不動(dòng)點(diǎn),又會(huì)得出不動(dòng)點(diǎn)的不動(dòng)點(diǎn)…………
最后又如此重復(fù),又會(huì)有更大的方式與構(gòu)造,如此這般,將最后構(gòu)出的所有構(gòu)造集合為一構(gòu)造,即又有新的1
則2越其1了1111111……(11111111……(11111111……(1111111……(111111111……))))…………次的1
則3重復(fù)2的步驟,
則4重復(fù)3的步驟,
……
則最終得出超
越以上一切構(gòu)造的11,即將以上的最大構(gòu)造∞重復(fù)∞的步驟,依此過(guò)程,有12……111…………222…………333……………………
……直到了這個(gè)構(gòu)造的最大不動(dòng)點(diǎn),又會(huì)得出不動(dòng)點(diǎn)的不動(dòng)點(diǎn)…………
最后又如此重復(fù),又會(huì)有更大的方式與構(gòu)造,如此這般,將最后構(gòu)出的所有構(gòu)造集合為一構(gòu)造,即又有新的1
則2越其1了1111111……(11111111……(11111111……(1111111……(111111111……))))…………次的1
則3重復(fù)2的步驟,
則4重復(fù)3的步驟,
……
則最終得出超越以上一切構(gòu)造的11,即將以上的最大構(gòu)造∞重復(fù)∞的步驟,依此過(guò)程,有12……111…………222…………333……………………
……直到了這個(gè)構(gòu)造的最大不動(dòng)點(diǎn),又會(huì)得出不動(dòng)點(diǎn)的不動(dòng)點(diǎn)…………
最后又如此重復(fù),又會(huì)有更大的方式與構(gòu)造,如此這般,將最后構(gòu)出的所有構(gòu)造集合為一構(gòu)造,即又有新的1
則2越其1了1111111……(11111111……(11111111……(1111111……(111111111……))))…………次的1
則3重復(fù)2的步驟,
則4重復(fù)3的步驟,
……
則最終得出超越以上一切構(gòu)造的11,即將以上的最大構(gòu)造∞重復(fù)∞的步驟,依此過(guò)程,有12……111…………222…………333……………………
……直到了這個(gè)構(gòu)造的最大不動(dòng)點(diǎn),又會(huì)得出不動(dòng)點(diǎn)的不動(dòng)點(diǎn)…………
最后又如此重復(fù),又會(huì)有更大的方式與構(gòu)造,如此這般,將最后構(gòu)出的所有構(gòu)造集合為一構(gòu)造,即又有新的1
………………………………
………………………………
將所有構(gòu)造集合,得該集合<Ω
通過(guò)Ω,我們可以構(gòu)造更大的數(shù)學(xué)聯(lián)系
Ω1
Ω2
Ω3
……
Ω∞
Ω∞×∞
Ω∞×∞×∞
……
Ω∞∧∞
Ω∞∧∞∧∞
……
Ωχ1
Ωχ2
……
Ωχ不動(dòng)點(diǎn)
Ωχχ不動(dòng)點(diǎn)
……(所有的Ω的各種χ不動(dòng)點(diǎn))
Ω不可達(dá)基數(shù)
……
ΩΩ
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)1
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)2
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)χ1
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)不可達(dá)基數(shù)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)Ω
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)…………
稱之為大Ω,又對(duì)大Ω重復(fù)以上所有步驟,又構(gòu)造出大大Ω……又得出巨Ω…………最終得到Ω終點(diǎn),又化其為Ω
Ω1
Ω2
Ω3
……
Ω∞
Ω∞×∞
Ω∞×∞×∞
……
Ω∞∧∞
Ω∞∧∞∧∞
……
Ωχ1
Ωχ2
……
Ωχ不動(dòng)點(diǎn)
Ωχχ不動(dòng)點(diǎn)
……(所有的Ω的各種χ不動(dòng)點(diǎn))
Ω不可達(dá)基數(shù)
……
ΩΩ
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)1
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)2
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)χ1
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)不可達(dá)基數(shù)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)Ω
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)…………
稱之為大Ω,又對(duì)大Ω重復(fù)以上所有步驟,又構(gòu)造出大大Ω……又得出巨Ω…………最終得到Ω終點(diǎn),又化其為Ω
Ω1
Ω2
Ω3
……
Ω∞
Ω∞×∞
Ω∞×∞×∞
……
Ω∞∧∞
Ω∞∧∞∧∞
……
Ωχ1
Ωχ2
……
Ωχ不動(dòng)點(diǎn)
Ωχχ不動(dòng)點(diǎn)
……(所有的Ω的各種χ不動(dòng)點(diǎn))
Ω不可達(dá)基數(shù)
……
ΩΩ
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)1
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)2
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)χ1
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)不可達(dá)基數(shù)
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)Ω
……
ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)ΩΩΩΩΩΩΩ……(中含Ω?jìng)€(gè)Ω)…………
稱之為大Ω,又對(duì)大Ω重復(fù)以上所有步驟,又構(gòu)造出大大Ω……又得出巨Ω…………最終得到Ω終點(diǎn),又化其為Ω
………………………………
………………………………
又將所有構(gòu)造集合,得出該集合<Ψ
又對(duì)Ψ重復(fù)類似于Ω的構(gòu)造(但將其中的Ω的字語(yǔ)化為Ψ),且更加巨大
又將所有構(gòu)造集合,得出該集合<Χ
又對(duì)Χ重復(fù)類似于Ψ的構(gòu)造(但將其中的Ψ的字語(yǔ)化為Χ),且更加巨大(與此往復(fù))
………………………………
………………………………
最終得出終極結(jié)構(gòu)?,又得出將?化為1(表示單個(gè)元素,<N的那個(gè)1),又與此往復(fù),往復(fù),又得出N,又繼續(xù)著那般輪回
而將這所有輪回集合為一體的構(gòu)造又永遠(yuǎn)小于“宇宙”中的一顆原子……?