在最近幾年里，沒有一個“設(shè)置或測試多個版本”的案例進(jìn)步保持了對集合基礎(chǔ)的預(yù)測學(xué)說這一理論的多個方面都有不同的選擇-到目前為止，所有這些都有優(yōu)點和缺點。
哈姆金斯廣義多元宇宙（[4]），包括集合理論的所有模型公理，在哲學(xué)上是穩(wěn)健的，但在數(shù)學(xué)上沒有吸引力，asit可能達(dá)不到理論的精神基礎(chǔ)要求。
Steel集合一般多元宇宙（[5]）由所有布爾值組成公理ZFC+LargeCardinals，在數(shù)學(xué)上是唯一有吸引力的-模型，拓展擴張。
特別是，它無法捕獲所有可能的外部模型，專注于這些集合的泛型擴展。
最后，SyFriedman的超普遍概念（[2]），盡管在數(shù)學(xué)上是普遍的和普遍的-數(shù)據(jù)屬性，具有在Vis上學(xué)習(xí)的顯著優(yōu)勢可數(shù)的文中介紹了集合論的新概念-也就是“V邏輯多元宇宙”，它擴展到數(shù)學(xué)根據(jù)Hyperunuverse計劃（[1]，[3]）進(jìn)行的工作這些通用多元宇宙的繪圖功能，特別是在Steel的Pro上-它的posedaxiomatisation。
V邏輯是無限邏輯無窮長），其長度為Lκ+，ω，不需要符號在一階邏輯中，由κ-manyconstantsa，oneforeachseta∈V組成，和一個特殊的符號V，表示V。
在V邏輯理論中，onecan對于某個集合，保證ZFC+ψ的一致性-理論陳述ψ，由記憶M表示，如果是米桑的話outermodelofV。
Byoutermodelwemeanhere：型號通過集合強制，類強制，超類強制和，一般，任何模型理論能夠產(chǎn)生V的寬度擴展的技術(shù)。
因此，通過選擇在適當(dāng)?shù)囊恢滦躁愂鲋校覀兛梢陨捎嬎銠C模型M，en-帶有特定功能。
V邏輯多重覆蓋-選擇屬于V。
以下觀察結(jié)果有助于說明該方法的充分性生產(chǎn)多個產(chǎn)品，在我們看來，前景更好除此之外：
1.與集合一般多元宇宙相反，V邏輯多元宇宙負(fù)載足夠包括所有類型的外部模型。
2.與超普遍性觀念相反，V邏輯多元性不會像V那樣減少可計數(shù)傳遞模型的集合，不需要采取不可計數(shù)的措施。
除此之外，還可以使用V邏輯多值來獲得兩個基本值-人才研究方向，兩者都是以發(fā)展為目標(biāo)多元宇宙的公理理論。
我們考慮定義V邏輯多個不同的擴展ZFC，通過考慮AD、PD、大基數(shù)等公理，V=陸地上的其他人，并調(diào)查所有陸地上的關(guān)系這樣的V邏輯多元宇宙。
第二個方向被認(rèn)為會使V變得更差-元素結(jié)構(gòu)，如L，L-樣模型，Vκ，其中κ是一個較大的基數(shù)，并調(diào)查，例如，是否有相應(yīng)的成員V-邏輯多個版本可以相互兼容，并且可以擴展到什么程度。
對于
例如，L邏輯復(fù)蓋最大限度地提高了兼容性，但減少了兼容性擴展了多個領(lǐng)域的結(jié)構(gòu)變化，從而縮小了多重宇宙中的另一個真相。
我們認(rèn)為V邏輯多重覆蓋是一種理想的參考-富爾和哲學(xué)上比所有的熱多重概念都穩(wěn)健，因此，最佳候選人符合這一理論的基礎(chǔ)數(shù)學(xué)。
參考文獻(xiàn)
[1] C。Antos，S-D.Friedman、R.Honzik和C.Ternullo.MultiverseCon-
集合理論中的感受。合成，192（8）：2463–24882015。
[2] T。阿里戈尼亞。弗里德曼。超級大學(xué)程序。Bulletinof
符號邏輯，19（1）：77–962013。
[3] S。弗里德曼。顯然，在超宇宙中建立理論真理
程序IfCoLogJournalofLogics及其應(yīng)用，3（4）:517–555，
2016
[4] J。D.Hamkins.TheSet-TheometicMultiverse.ReviewofSymbolicLogic，
5（3）：416–4492012。
[5] J。R.Steel。G模型程序。InJ.Kennedy，編輯，解釋G模型。
《評論文章》，第153-179頁。劍橋大學(xué)出版社，劍橋，
2014