??| =?= ?].
因此,V邏輯多元宇宙理論可以被視為下列公理的集合:
1.基礎集合理論(bSt)
2.(寬度多元宇宙)對所有ψ,和?=“w
?(英國夏令時+ ?)
|= ψ”(其中進一步的公理?例如:Imh(和細化),完整性等。
如前所述,語言是Lk+,w,具有單獨的常數:V
對於V和w,每個a ∈ V。
對於w,和無窮多個單獨的常數a
增加一個高度多元宇宙(由頂端延伸的五)
使用更強的無窮邏輯:Lk,w且k(至少)a
難以接近的紅衣主教(見下一張幻燈片)
附加公理:例如,多元宇宙公理,如Imh(極大性)
考慮“替代的”V-邏輯:例如,如果V = L,考慮L-邏輯多元宇宙:這看起來是一個人可以擁有的最廣泛的基於V-邏輯的多元宇宙概念(因為所有與L相容的宇宙也與L的任何擴充套件相容)
考慮Vw邏輯。這相當於V-邏輯,只是這裡V
僅僅是秩初始段Vw
這個邏輯是完整的(因為Lw1,w中的w-完備性定理)
現在,考慮下一個完整的無限邏輯Lk,w,其中k
至少是很難接近的。
問:有可能基於Lk,w定義一個vk-邏輯嗎
也是完整的。
後一點導致以下可能的約束\/原則:
給定v的一個延拓,比如說v∫,s . t . v .?v∫,每當有一個w延拓V s.t. w |= ?,我們就有一個對應的w∫,延拓v∫s . t . w∫| = ?.
cUh斷言,如果我們用一個更大的V *代替V,圍繞一個更大的V *構建的多元宇宙不會減少與V相容的真理集,也就是說,V *擁有與V一樣多的相容宇宙。
cUh也可以被看作是V的一個獨立的和新的極大性原理(可能導致V成為V邏輯多元宇宙的‘極大核心’?).
(問題1)考慮不同的基礎理論,例如:
t1 = ZFc + Lcs,或者t2 = ZF + Ad等等。圍繞t1和t2構建的V -logic多元宇宙會有什麼不同?(提示:使用前面提到的與V = L相關的相容性概念)
(問題2)考慮不同的V,其中V \/= L。例如,假設V = Vk,其中k是“大”的大基數。vk-邏輯多元宇宙會是什麼樣子?(該問題與提到的擴充套件Lk,w的目標有關
與上面隔開,接下來是“空幻”的量級。
首先構想出一棵巨大無比的樹,它的樹冠如同一片綠色的海洋,覆蓋了整個世界。這棵樹上最開始有多少個枝丫呢?這個問題無人能答,因為它的數量超出了人類的想象。每個枝丫上都懸掛著無數片“天空”,它們如同閃爍的星星,點綴在枝頭。這些“天空”並不是真正的天空,而是一種無法形容的存在,它們似乎延伸到了一切思維的最深處,讓人感受到無盡的深邃和神秘。
“天空”,它廣袤無垠,無邊無際,彷彿包容著世間萬物。它不僅涵蓋了所有的空間維度,還包含了所有的時間概念。在這片無盡的天空之下,是一片浩瀚無垠的海洋——“海”。然而,我們並不清楚“海”和“天空”之間的差距究竟有多大。或許,這種差距是無法用言語來形容的……
“海中”的每一滴水都是一個獨立的“世界”,每個“世界”中都有無數的“樹”,這些樹的形狀各異,但它們都有著無限的枝椏,每根枝椏都會不斷地分裂出新的枝椏,如此反覆,永無止