论文部分内容阅读
摘要：假设V=终极L，则连续统假设为真，并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理，它还为集合论提供了一个对科思力破免疫的公理化基础。在这个意义上，这将是哥德尔纲领的一个实现。更进一步，如果y：终极L是真的，那么就存在一个独特的集合论模型，从某种意义上说它就是真实的集合宇宙。这一事实本身说明集合的宇宙是一个确定的客观实在，可以看作是支持柏拉图主义的证据。