如果Y在多宇宙模型類的每個模型中都是在H(δ0 )中可定義的。出於同樣的哲學考量，還可以有:第二多宇宙定律所有II2多宇宙真語句的集合M2不是借助多宇宙能在H(δ0 )中可定義的。如果脫殊複宇宙的真理觀不能滿足以上兩條定律，那它與形式主義在根本哲學立場上就是一致的，即:
把整個集合宇宙的真歸結為這個宇宙的某個清晰片段的真。
形式主義者把集合宇宙的真理歸結為ZFC的定理，也就是歸結為數論中的真，而脫殊複宇宙立場則是把集合宇宙的(lI2)真理歸結為H(δ0 )，全體基數不超過最小武丁基數的集合。哥德爾借用他的不完全性定理，曾對形式主義的這一立場做過令人信服的反對。[3])而武丁則同樣令人信服地證明，以上形式的脫殊複宇宙立場必然違反這兩個定律，所以與形式主義的真理觀並無根本差別。
定義2.3(武丁，1999)假設T是集合論語言中的可數理論，σ是集合論語言中的語句，我們定義σ是T的Ω-邏輯後承，記作T╞Ωσ，當且僅當對任意完全布爾代數B，對任意序數α，如果VB╞T，則VB╞σ
定理2.4(武丁，1999)假設W是真類，並且假設T是可數理論，σ是語句，則對任意完全布爾代數B
T╞Ωσ當且僅當VB╞“T╞Ωσ”。
這就是說，假設存在武丁基數的真類，Ω-邏輯後承關係是脫殊絕對的。特別地，全體Ω-邏輯有效式的集合VΩ\u003d{σ｜╞Ωσ}不能被任何力迫改變。
還注意到，假設W是真類，則MlI2與VΩ具有同樣的圖靈複雜度，即，每個集合都在另一個集合中是遞歸的。同樣，假設W是真類，則集合VΩ(H(δ0 ))\u003d{σ丨ZFC\u003dσ“H(δ0 )╞σ”}恰好就是ThM(H(δ0 ))。為了定義Ω邏輯的證明，我們需要回憶一些概念。一個拓撲空間是緊致的當，且僅當它的任意覆蓋都有有窮子覆蓋;它是豪斯道夫(Hausdorff)空間當且僅當它的任意兩個不同點都有不相交的鄰域。令S為緊致的豪斯道夫空間，稱XS在S中有貝爾性質當且僅當存在開集OS使得對稱差X△O在S中是貧乏集(meagerset).
定義2.5(馮琦、麥基道、武丁，1992)一個實數的子集A具有通用貝爾性質當且僅當對任意緊致豪斯道夫空間S，任意連續映射f:S→R，A在S下的原象具有貝爾性質。
定義2.6(武丁，1999)假設AR具有通用貝爾性質，M是ZFC的傳遞模型。稱M是強A-封閉的當且僅當對任意N，如果N是傳遞的且是M的脫殊擴張，則A∩N∈N
定義2.7(武丁，1999)假設W是真類。假設T是可數理論，σ是語句，則T├Ωσ當且僅當存在AR:
1.A是通用貝爾集;
2、對任意可數傳遞模型M，若M是強A-封閉的且T∈M，則M╞“T╞Ωσ”。
定理2.8(武丁，1999)假設W是真類，並且假設T是可數理論，σ是語句，則對任意完全布爾代數B，
T├Ωσ當且僅當VB╞“T╞Ωσ”。
定理2.9(武丁，1999)假設W是真類。如果T├Ωσ，則T╞Ωσ。
幾猜想假設W是真類。對任意語句σ，╞Ωσ當且僅當├Ωσ
敘述了什麽是幾猜想，我們就可以回到武丁的回應上了:
定理2.10假設W是真類且幾猜想成立，則Vn在集合VΩ(H(δ0 ))中是遞歸的。根絕前麵的分析，這實際上是說脫殊複宇宙立場違反了第一多宇宙定律。而下麵的定理則是說，這一立場同樣違反第二多宇宙定律。
定理2.11假設W是真類並且Ω猜想成立，則V在集合H(δ0 )中可定義。所以，脫殊複宇宙真理觀不過是一種更為精致的形式主義。當然，這種站在柏拉圖主義立場上的挑戰要依賴於Ω猜想的成立與否。接下來我們討論一些更新的進展，它們似乎在某種意義上暗示這個猜想是真的。
3終極L理論
Ω猜想如果不成立，那一定是因為某個大基數公理，而且這個大基數公理超出了現有內模型計劃。所謂“內模型計劃”指的是構造一個類似於L的模型，在其
本章尚未完結,請點擊下一頁繼續閱讀---->>>