数学论文（柏拉图主义与集合论终极宇宙） (8-8)

这样，我们可以合理地认为，如果终极L猜想成立，那它一定会在两个方向上为数学中的柏拉图主义辩护。首先，它证明Ω猜想成立，而根据第二节的分析，这从根本上拒绝了多宇宙的真理观。因为，在Ω猜想成立的情况下，脱殊复宇宙真就可归结为H(δ0+)中的真，这本质上与形式主义将真归结为在ZFC中可证是一样的。正如我们已经指出的，这种对真理的看法无法说明这样的问题:为何一些独立性命题是无意义的而另一些不是

其次，如果终极L存在，那ZFC的众多模型中就有一个非常特殊的。它不仅可以容纳所有已知的大基数，而且具有很好的结构性质从而解决所有的自然的独立性问题。同时，在“终极L中为真”对于集合力迫又是免疫的，从而不能用通常的力迫证明其独立性。终极L的这种特殊性自然需要哲学上的解释。武丁多次强调，这种特殊性源自它十分接近V，那个真实的集合论宇宙。除了这种柏拉图主义的解释，我们暂时看不到任何其他的哲学立场能够做到这一点。　　

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。