本文常用量级绝对无穷部分构造3（脱殊复宇宙）
假设v=终极l，则连续统假设为真，并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理，它还为集合论提供了一个对科恩力破免疫的公理化基础。在这个意义上，这将是哥德尔纲领的一个实现。更进一步，如果v=终极l是真的，那么就存在一个独特的集合论模型，从某种意义上说它就是真实的集合宇宙。这-事实本身说明集合的宇宙是一个确定的客观实在，可以看作是支持柏拉图主义的证据。
本文打算讨论这样的一个问题:哥德尔所坚持的柏拉图主义如何影响着在他之后的数学基础研究，特别是集合论的研究。一方面，将柏拉图主义作为工作假设在很大程度上影响了集合论发展的走向，另一方面，这些研究的一些出人意料而又极具意义的重大进展又在一定程度上为柏拉图主义做出了有力的辩护。哲学和数学之间这样显明的关联是不多见的，在我们看来对这类关联的研究是数学哲学中最有意义的课题之一。
在讨论正题之前，针对数学中的柏拉图主义和数学哲学研究的方法论问题，我们想先谈一点看法，因为在现有的数学哲学研究中，大家的出发点和研究问题方式是很不相同的。
首先，本文不打算就哥德尔本人的强实在论立场作深入的讨论。哥德尔的柏拉图主义，在他1944年的“罗素的数理逻辑”([2])中就有所显示。在罗素篇中，哥德尔引用了罗素将逻辑学与自然科学在本体论上的类比，“逻辑学一如动物学，它研究实在的世界，不过是研究其更抽象、更一般的特点而已”([6]);提到在认识论上的类比，逻辑和数学的公理不必非得具有自在的显明性不可，而是可以从如下事实获得核证，它们的后承与数学史的发展中被发现为自明的东西相符合。哥德尔评论道:“这个观点已然大体上为后续的发展所核证，而将来可望获得更多的核证”。近些年集合论的发展，似乎为哥德尔的预言做了进一步的核证。如同罗素(早期的)这种实在论观点一样，我们认为对科学这个概念不能仅仅理解为实验科学或自然科学，而是要把数学这样的以抽象概念为研究对象的科学包括在内。因此，数学哲学与物理学哲学和生物学哲学一样，是科学哲学这一大类中的一员，而不是分析哲学或者其他什么哲学的一个分支。
在方法论上，仅靠分析数学的语言只能把握数学思想(或是数学哲学思想)很小的一部分，而且通常是在该数学领域发展成熟之后才可以进行。元语言和对象语言的划分特别能说明这一点。虽然，理论上我们在数学中可以使用严格化的形式语言作为对象语言，但是却不可能有完全形式化的元语言。当我们对形式化的数学做分析时，工作于其中的元理论是非形式化的，这个元理论的边界卜分模糊。虽然有哲学家认为元理论包含了严格无穷的数学，但没有证据表明，严格无穷的数学就是数学的全部。即便是在形式系统内部，数学家的工作也不是借助推理的规则推演出那些定理。更多的情况是通过对数学世界的某种直观或认知，猜想或者断言某些事实是真的，然后再以证明的方式去验证。本文涉及的集合论中的-些最新的进展特别表明了这一点。
在方法论的另一方面，我们认为把数学实践统统归结到大脑神经元的活动对数学哲学的研究作用不大。就像物理学哲学不会把物理学家的大脑作为研究对象一样，分析数学家的大脑也无助于数学真理的获得。有众多的哲学理论试图将数学语言中有关数学对象，特别是无穷对象的存在断言进行重新解释，使其本质上成为谈论某些有穷的物理对象，如符号，或大脑内部某种状态的言语。但是，迄今为止，没有任何哲学理论能如其声称的那样完成这种解释。尽管我们相信脑科学的发展会对数学哲学产生根本性的影响，但今天的脑科学知识距离分析人的思维活动还差得很远。现在就期待脑神经科学家来给数学哲学问题提供答案是对问题的过度简化。在这种简化下，人类的所有思维，无论是物理学、数学还是文学都(在当今的科技条件下)毫无区别。一种健全的数学哲学最起码要与数学实践密切相关，否则只能成为文字游戏。
抱着这样的信念，我们就不可避免地要密切关注当代数学的进展。任何有关哲学的论断，都要尽可能地在已有或正在取得的数学成果中寻找相关的“证据”这里的情形可以与物理学哲学做一个比较。一大部分的物理学哲学研究，如果不是全部的话，与近百年来物理学在一些基础问题上的重要理论和进展密切相关。但正如科纳(pkoellner)所指出的，数学哲学中绝大多数工作却相反，它们与当代数学的发展几乎毫无关系。([5])造成这种局面的原因十分复杂，不属于本文讨论的范围。但是，十分确定的是:加强这个方向的研究，保持数学哲学与数学的最新进展的密切联系，应该能期待巨大的收获。当然，这也不可避免地使得这类数学哲学研究更为数学化。
最后，文章中的数学定义和定理，从某种意义上，是我们为论证而搜集的证据。借助这些定理，读者可以更好地把握概念间的关系，大致看出当今集合论发展的脉络，从而体会出其中的哲学意蕴。郝兆宽杨跃柏拉图主义与集合论终极宇宙。
1独立性现象与数学真理
集合论中充满了独立性现象。在这些现象背后的是有关集合论真理的哲学问题，即:
一个集合论语言中的语句σ是真的，这是什么意思
有一派观点认为σ是真的当且仅当。在zfc中可证。
我的感觉是，除了那些一致性命题，zfc穷尽了我们的直观，所以，证明意味着在zfc内证明。([7]，第3页)
而这就意味着那些独立于zfc的语句没有真假可言。
这是一个有重大影响的选择。其中最重要的影响就是承认ch本身是无意义的，而ch也许是我们对不可数集合所能提出的第一个重要问题。([1]，第13页)
这样的立场被称为“形式主义”。与之相对应的立场是“柏拉图主义”，它认为一个集合论语句为真当且仅当它描述了集合宇宙中的一个客观事实。独立性命题产生的原因是我们对客观数学世界的认识不够完备。但这不意味着这些命题本身是没有真假的无意义命题，相反随着对集合宇宙认识的不断深入，我们最终会决定它们的真假。
基于此处采取的立场，从已接受的集合论公理出发，一个有关康托猜想的不可判定性的证明(与一个对的超越性的证明完全不同)决不是问题的解决。集合论概念和定理描述了一个完全确定的实在，在其中康托猜想一定是或真或假。因此，源于今天已接受公理的对它的不可判定性，只能意味着这些公理没有完备地描述那个实在。这一信念绝非空想，因为有可能指出一些方向，在其中能得到对一些问题的判定，而这些问题对于通常的公理是不可判定的。([4]，第260页)
把所有独立于zfc的命题都看作无意义的，这种观点有一个困难就是这些命题在认识论地位上不是完全等价的。例如，有人认为ch无意义，因为“任意实数的子集”这个概念模糊不清。但是，几乎不会有人认为“所有投影集都是可决定的(pd)”无意义，因为这其中并不涉及“任意实数子集”的概念，而只是谈论了投影集这样的具体可定义的数学对象。但pd与ch一样，是独立于zfc的。因此，武丁(hwoodin)向形式主义提出了如下挑战:
……(形式主义)这种立场要站得住脚，那就或者集合论中类似的不可解问题也必须被看作是无意义的，或者必须解释为什么连续统假设的问题是与那些问题不同的。我指的是那些描述集合论的经典问题，它们在连续统假设提出不久也被提了出来。([8]，第29页)这要求人们进一步仔细分析pd与ch:
定义11无穷基数δ是武丁基数当且仅当对任意函数f:δ→δ，存在初等嵌入j:v→m，如果k=crt(j)，则f[k]m并且vj(f)(x)m。我们用
w={δ|δ是武丁基数}
表示全体武丁基数的类。
1985年武丁证明了以下定理:
定理12(武丁，1985)如果m是zfc的传递模型，并且m“w是真类”，则对任意m脱殊滤g，
vm＜vm[g]
w+1w+1
vm＜vm[g]蕴涵着vm和vm[g]
w+1w+1w+1w+1
初等等价，因此以上定理就表明，如果存在任意大的武丁基数，则任何形如“vw+1╞σ”这样的句子都不能用(集合)力迫的方法证明其独立性。此时我们称v11的一阶理论th(v1)是脱殊绝对的。这一结果的意义在于，大基数公理(存在任意大武丁基数)可以给有关th(v1)的所有问题以确定的回答。又由于pd，乃至经典描述集合论中所有有关投影集的问题都属于th(v+1)，这也意味着在大基数公理下，它们都有确定的真值，而不再是独立的。特别地，对pd马丁和斯蒂尔(martinandsteel)证明了:
定理13(马丁、斯蒂尔，1985)如果存在无穷多武丁基数，则pd成立。进而:
推论14对任意传递模型m，如果mfc+“w是真类”，则对任意m脱殊滤g，都有m[g]╞pd
反观ch，列维(levy)和索洛维(solovay)1967年证明了:
定理15(列维、索洛维，1967)令为任意一条已知的大基数公理，假设m是zfc的传递模型并且m╞σl，则存在m脱殊滤g和h，m[g]╞σl+ch而m[h]╞σl+┐ch。
比较推论14和定理15，我们看到:在pd与ch之间确实存在着带有根本意义的差别。与pd不同，大基数公理对ch的独立性无能为力。这种差别是否可以帮助形式主义回应以上挑战呢
2多宇宙真理观与9猜想
我们首先将形式主义可能的回应严格描述出来，这需要一系列的定义。
定义21令m为zfc的可数传递模型，则由m生成的脱殊复宇宙vm为满足以下条件的最小模型类:
1m∈vm；
2如果n∈vm，而n‘=n[g]是n的脱殊扩张，则n‘∈vm;
3如果n∈vm，而n=n‘[g]是n‘的脱殊扩张，则n‘∈vm。
简单说，vm是包含m并且对脱殊扩张和脱殊收缩封闭的最小模型类。由v生成的脱殊复宇宙记作v。
定义22(脱殊复宇宙的真)对任意zfc的可数传递模型m，和对任意集合论语言中的语句σ，我们称
σ是m-脱殊复宇宙真的，当且仅当它在vm的每个模型中都真，记作vm╞σ;
是m-脱殊复宇宙假的当且仅当vm╞┐σ;
σ是m-脱殊复宇宙无意义的当且仅当vm╞／σ并且vm╞／-σ。
特别地，如果σ在由v生成的脱殊复宇宙中为真，则称σ是脱殊复宇宙真的，记作v乍口。其他概念类似。
根据推论14，如果vm的每个模型都满足“w是真类”，则pd是m脱殊复宇宙真的，根据定理15，对任意m，ch都是脱殊复宇宙无意义的。这看起来使得脱殊复宇宙立场比形式主义更精致，也更合理。似乎也在一定程度上回应了武丁的挑战。但是，武丁又通过一系列的数学工作论证了脱殊复宇宙立场难以成立，这需要定义武丁的Ω逻辑以及Ω猜想。
回忆一下，对任给结构『？』，『？』的理论定义为:
th(『？』)={σ|zfc╞“『？』σ”}。
仿此，我们定义任意结构烈在脱殊复宇宙真理观下的理论为:
thm(『？』)={σ｜╞“『？』╞σ”}
对任意语句σ，形如“对任意无穷序数α，vα╞σ”的断言是ll2断言。事实上，脱殊复宇宙的真理概念只适用于ll2语句，这是因为我们在定义脱殊复宇宙真理概念时只允许使用集合力迫。令是最小的武丁基数，则h(时)卜σ和h(时)fσ都是ii2断言。因此，如果令
mll2={σ｜v╞σ并且σ是ii2语句}
为所有ii2多字宙真语句的集合，则thm(h(δ0+))在集合mll2中是递归的。但是，仿照塔斯基的真理不可定义性，相反的方向应该不能成立，人们把它总结成:第一多宇宙定律
所有i2多宇宙真语句的集合mll2在h(δ0+)的脱殊复宇宙理论thm(h(δ0+))中不是递归的。这一定律要求不能把整个集合宇宙中的所有ii2真理，更不必说所有真理，归结为集合宇宙的一个片段h(δ0+)中的真理。这是一个合理的要求，因为如果脱殊复宇宙的模型类中只有v一个模型，则以上定律是显然成立的。
称一个集合yvw是借助多宇宙在h(δ0+)中可定义的，如果y在多宇宙模型类的每个模型中都是在h(δ0+)中可定义的。出于同样的哲学考量，还可以有:第二多宇宙定律所有ii2多宇宙真语句的集合m2不是借助多宇宙能在h(δ0+)中可定义的。如果脱殊复宇宙的真理观不能满足以上两条定律，那它与形式主义在根本哲学立场上就是一致的，即:
把整个集合宇宙的真归结为这个宇宙的某个清晰片段的真。
形式主义者把集合宇宙的真理归结为zfc的定理，也就是归结为数论中的真，而脱殊复宇宙立场则是把集合宇宙的(li2)真理归结为h(δ0+)，全体基数不超过最小武丁基数的集合。哥德尔借用他的不完全性定理，曾对形式主义的这一立场做过令人信服的反对。[3])而武丁则同样令人信服地证明，以上形式的脱殊复宇宙立场必然违反这两个定律，所以与形式主义的真理观并无根本差别。
定义23(武丁，1999)假设t是集合论语言中的可数理论，σ是集合论语言中的语句，我们定义σ是t的Ω-逻辑后承，记作t╞Ωσ，当且仅当对任意完全布尔代数b，对任意序数α，如果vb╞t，则vb╞σ
定理24(武丁，1999)假设w是真类，并且假设t是可数理论，σ是语句，则对任意完全布尔代数b
t╞Ωσ当且仅当vb╞“t╞Ωσ”。
这就是说，假设存在武丁基数的真类，Ω-逻辑后承关系是脱殊绝对的。特别地，全体Ω-逻辑有效式的集合vΩ={σ｜╞Ωσ}不能被任何力迫改变。
还注意到，假设w是真类，则mli2与vΩ具有同样的图灵复杂度，即，每个集合都在另一个集合中是递归的。同样，假设w是真类，则集合vΩ(h(δ0+))={σ丨zfc=σ“h(δ0+)╞σ”}恰好就是thm(h(δ0+))。为了定义Ω逻辑的证明，我们需要回忆一些概念。一个拓扑空间是紧致的当，且仅当它的任意覆盖都有有穷子覆盖;它是豪斯道夫(hausdorff)空间当且仅当它的任意两个不同点都有不相交的邻域。令s为紧致的豪斯道夫空间，称xs在s中有贝尔性质当且仅当存在开集os使得对称差x△o在s中是贫乏集(meagerset)
定义25(冯琦、麦基道、武丁，1992)一个实数的子集a具有通用贝尔性质当且仅当对任意紧致豪斯道夫空间s，任意连续映射f:s→r，a在s下的原象具有贝尔性质。
定义26(武丁，1999)假设ar具有通用贝尔性质，m是zfc的传递模型。称m是强a-封闭的当且仅当对任意n，如果n是传递的且是m的脱殊扩张，则ann∈n
定义27(武丁，1999)假设w是真类。假设t是可数理论，σ是语句，则t├Ωσ当且仅当存在ar:
1a是通用贝尔集;
2、对任意可数传递模型m，若m是强a-封闭的且t∈m，则m╞“t╞Ωσ”。
定理28(武丁，1999)假设w是真类，并且假设t是可数理论，σ是语句，则对任意完全布尔代数b，
t├Ωσ当且仅当vb╞“t╞Ωσ”。
定理29(武丁，1999)假设w是真类。如果t├Ωσ，则t╞Ωσ。
几猜想假设w是真类。对任意语句σ，╞Ωσ当且仅当├Ωσ
叙述了什么是几猜想，我们就可以回到武丁的回应上了:
定理210假设w是真类且几猜想成立，则vn在集合vΩ(h(δ0+))中是递归的。根绝前面的分析，这实际上是说脱殊复宇宙立场违反了第一多宇宙定律。而下面的定理则是说，这一立场同样违反第二多宇宙定律。
定理211假设w是真类并且Ω猜想成立，则v在集合h(δ0+)中可定义。所以，脱殊复宇宙真理观不过是一种更为精致的形式主义。当然，这种站在柏拉图主义立场上的挑战要依赖于Ω猜想的成立与否。接下来我们讨论一些更新的进展，它们似乎在某种意义上暗示这个猜想是真的。
3终极l理论
Ω猜想如果不成立，那一定是因为某个大基数公理，而且这个大基数公理超出了现有内模型计划。所谓“内模型计划”指的是构造一个类似于l的模型，在其中某个大基数公理成立。这项研究计划的动机源自于斯科特(dscott)的以下定理:
定理31(斯科特，1961)假设存在一个可测基数，则v≠l。
也就是说，哥德尔的l不能容纳可测基数，当然也不能容纳更大的基数。所以，这样的问题自然就被提了出来:
是否存在一个类似于l的模型，它能容纳可测基数或更大的基数
很快，库能(kkunen)证明了
定理32(库能，1970)假设u是k上的k完全的正则非主超滤，则在l[u]中，k是一个可测基数，并且是唯一的可测基数
这实际地开启了内模型的研究计划，并且在随后的年代里，这个计划取得了相当的成功。目前人们已经能够构造可以容纳强基数的内模型。
但是，Ω猜想与已有的具有内模型的大基数都是相容的，所以要证明它不成立，我们需要容纳更大无穷的内模型。不唯如此，能证明Ω猜想不成立的大基数公理一定在大基数层谱中处于一个十分关键的位置，这一位置必定会有“来自内模型理论的证据”。(参见[9])
另一方面，如果Ω猜想在所有已知的大基数公理下都成立，那就是猜想在v中成立的强烈依据。而武丁有关终极l的研究表明，所有的证据都显示，没有任何已知的大基数公理会否证猜想。我们以下简述这一重要的思想。(在以下的讨论中，所有未注明的定理和定义都属于武丁。)
如果存在可测基数，则v≠l，所以l虽然具有很好的结构性质，并且v=l可以解决包括ch在内的独立性问题，但它不可能是新公理的候选，l与v相差太远了。库能的l[u]可以容纳可测基数，在这个意义上比l更接近v。但是，l［u]中只有一个可测基数，它甚至不能容纳第二个可测基数，更不必说更大的基数了。所以，最终的任务就成了构造一个可以容纳所有大基数的类l结构，人们将这样的结构称为“终极l”。这看起来是不能完成的任务，因为在构造容纳大基数的内模型的过程中，人们发现每向上一步，都只能得到仅仅包含一个相应大基数的模型，要想容纳所有的大基数，我们有无穷多个内模型需要构造。但是，武丁的一个重要发现彻底改变了这种情形，这又需要一些新的数学定义:
定义33假设n是一个zfc的模型，δ是一个超紧基数，如果对任意λ＞δ，存在pδ(λ)一个δ-完全的正则精良超滤u满足:
(1)pδ(λ)nn∈u;
(2)unn∈n，
就称n是关于δ是超紧基数的弱扩张子模型(weakextendermodel)。
弱扩张子模型之所以重要，是因为它有我们需要的性质。首先，它十分接近v。就我们目前的问题而言，这意味着它有正确的基数概念。
定理34假设n是关于δ是超紧基数的弱扩张子模型，并且在n中，λ＞δ是正则基数，则在v中，cf(λ)=|λ|。特别地，如果λ在v中依然是基数，则它在v中是正则的。
推论35假设n是关于δ是超紧基数的弱扩张子模型，并且在v中，γ＞λ是奇异基数，则
(1)λ在n中是奇异基数;
(2)(γ+)n=γ+，即n能正确地计算奇异基数的后继。
不仅如此，与以往的内模型不同，弱扩张子模型可以容纳任意多的可测基数。
推论36假设n是关于δ是超紧基数的弱扩张子模型，并且在v中，k＞δ是奇异基数，则k在n中是可测基数。
事实上，弱扩张子模型可以容纳δ以上的所有大基数!
定理37(普遍性)假设n是关于δ是超紧基数的弱扩张子模型，并且在v中，γ＞δ是正则基数，并且
π:(h(k+))n→(h(π(k)+))n
是一个初等嵌入，并且crt(π)＞δ，则π∈n。
也就是说，v中δ以上的大基数都在n中保持为δ以上的大基数。这不能不说是一个令人惊奇的结果。
但是，弱扩张子模型是否存在呢到目前为止它只是一个抽象的概念。但有一些数学“证据”暗示其存在。
定理38(詹森，1974)l或者非常接近v或者离v很远。即以下二者必居其一:(1)对任意v中的奇异基数γ，γ在l中是奇异基数，并且(π+)l=γ+;(l非常接近v。)
(2)每个不可数基数在l中都是不可达的。(l与v相差很远。)
武丁则得到了关于hod的类似结果。
定理39假设k是可扩张基数，则hod或者非常接近v，或者(在k以上)离v很远。即以下二者必居其一
(1)对任意v中的奇异基数，γ在hod中是奇异基数，并且(γ+)hod=γ+;(2)所有大于k的正则基数在hod中都是w-强可测基数。
假设存在可扩张基数，则无论哪种情况成立，hod中都存在一个可测基数。因为如果(1)成立，则hod是r是超紧基数的弱扩张子模型，r显然是hod中的可测基数。而如果(2)成立，则更是显然。
hod猜想hod接近v，或者说，在zfc内可以证明:在hod中，{δ|δ是正则基数但不是w-可测基数}是一个真类。
如果hod猜想成立，则hod是一个弱扩张子模型，反之亦然。
定理310假设k是一个可扩张基数，则以下命题等价:
1hod猜想成立;
2hod是k是超紧基数的弱扩张子模型。
那么，hod猜想是否成立呢它会不会像ch本身一样是独立的呢从目前的证据来看，这似乎不可能。因为武丁证明，hod猜想是脱殊绝对的:如果hod猜想在v中成立，则它在v的所有脱殊扩张中都成立。所以不可能用力迫法证明hod猜想的独立性，而力迫法又几乎是唯一证明独立性的手段。
还有一些支持hod猜想的证据，目前已经知道的是以下这点与zfc一致:w1和w2在hod中是w-强可测基数。但是，我们甚至不知道hod中是否能够容纳4个w-强可测的正则基数;也不知道对任意奇异基数γ，γ+是否是hod中的w-强可测基数;更不知道是否存在超紧基数以上的w-强可测的正则基数。
如果hod猜想成立，则hod包含了一个弱扩张子模型，而这样的模型可容纳所有已知的大基数，因此是某种意义上的“终极l”模型。武丁还提出了这样一种设想，即，在不知道如何构造“终极l”的情况下，我们仍可以叙述公理!“v=终极l”
v=终极l公理
公理“v=终极l”包括以下命题:
(1)存在武丁基数的真类w;
(2)对任意∑3-语句p，若p在v中成立，则存在一个通用贝尔集acr，使得
hodl(a，r)nvθl(ar)╞p
终极l猜想假设k是可扩张基数，则存在模型n满足;
(1)n是k是超紧基数的弱扩张子模型;
(2)nhod;
(3)n╞“v=终极l”
定理311假设终极l猜想成立，则:
1ch成立;
2v=hod;
3Ω猜想成立。
这样，我们可以合理地认为，如果终极l猜想成立，那它一定会在两个方向上为数学中的柏拉图主义辩护。首先，它证明Ω猜想成立，而根据第二节的分析，这从根本上拒绝了多宇宙的真理观。因为，在Ω猜想成立的情况下，脱殊复宇宙真就可归结为h(δ0+)中的真，这本质上与形式主义将真归结为在zfc中可证是一样的。正如我们已经指出的，这种对真理的看法无法说明这样的问题:为何一些独立性命题是无意义的而另一些不是
其次，如果终极l存在，那zfc的众多模型中就有一个非常特殊的。它不仅可以容纳所有已知的大基数，而且具有很好的结构性质从而解决所有的自然的独立性问题。同时，在“终极l中为真”对于集合力迫又是免疫的，从而不能用通常的力迫证明其独立性。终极l的这种特殊性自然需要哲学上的解释。武丁多次强调，这种特殊性源自它十分接近v，那个真实的集合论宇宙。除了这种柏拉图主义的解释，我们暂时看不到任何其他的哲学立场能够做到这一点。