質:每個可數模型在更大模型中可被“視為可數集合”,現“宇宙相對化”。
三、多宇宙的哲學立場:三種主流進路:1. 實在論多宇宙(Hains 強綱領):本論:所有宇宙都客觀、獨立存在(柏拉圖式實在論),如同單宇宙論者相信 V 存在。
真理論:真=在某宇宙中為真;無絕對真,只有“相對於宇宙的真” 。
口號:xize the ltiverse(讓多宇宙儘可能大,不設人為限制)。
2. 形式主義/工主義多宇宙:本論:宇宙只是形式化構造/模型,無獨立實在;多宇宙是研究獨立的工。
真理論:真=在 ZFC 中可證;獨立命題無“真”可言,僅在模型中立。
3. 溫和多宇宙(相容單宇宙):立場:承認多宇宙的方法論價值,但保留“存在一個優選宇宙(如 V)”的可能。
觀點:多宇宙是對 V 的“區域視角”,強制/模型是探索 V 的手段。
。到找未尚是只,案答定確有必,題問的義意有是HC:宙宇單:”關開宙宇多“到”謎之解未“從:)HC(設假統續連.1:塑重的題問心核對宙宇多、四
。有才後宙宇定選在僅”義意“的HC;假為中張擴制強多許在,真為HC中L在——題問的案答對絕無是HC:宙宇多
。)句語爾德哥如(明證法無遠永但,真中V在題命在存:宙宇單:)elbadicednUyletulosbA(定判可不對絕.2
。”假恆/真恆不中宙宇多在“是只”定判可不“;假為其使宙宇一另、真為其使宙宇到找能總,題命立獨何任——題命定判可不對絕在存不:宙宇多
。梯階的”真“是度強致一,理公確正的V近是理公數基大:宙宇單:度強致一與數基大.3
。”係關達可“的間宙宇是度強致一,數基大同不足滿宙宇同不;質的宙宇分區是數基大:宙宇多
?構結何有”宙宇礎基“些這?張擴制強的宙宇小更些哪是它宙宇定給——制強向反:究研:)ygoloeGciteroehT-teS(學質地論合集.1:向方究研沿前的宙宇多、五
。)eltncireneG(幔型泛、)的礎基有所,eltn(幔:念概心核
。子句1_1^iP的算階二、理公CFZ如?)真對絕宙宇多(立都中宙宇有所在題命/質些哪:題問:對絕與義定可的間宙宇.2
。學數典經與宙宇多線連,”核變不“的宙宇多畫刻:義意
。理推宙宇個單在僅非而,”宙宇“化量接直,輯邏宙宇多立建:標目:輯邏與化式形的宙宇多.3
。)元算運態模為視”真為中張擴個某在“把(輯邏態模、輯邏階一宙宇多:試嘗








