10.3969/j.issn.1674-3202.2017.04.006
柏拉图主义与集合论终极宇宙
假设V=终极L,则连续统假设为真,并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理,它还为集合论提供了一个对科恩力破免疫的公理化基础.在这个意义上,这将是哥德尔纲领的一个实现.更进一步,如果V=终极L是真的,那么就存在一个独特的集合论模型,从某种意义上说它就是真实的集合宇宙.这一事实本身说明集合的宇宙是一个确定的客观实在,可以看作是支持柏拉图主义的证据.
柏拉图主义、哥德尔纲领、终极L、连续统假设
10
B81(逻辑学(论理学))
2018-01-22(万方平台首次上网日期,不代表论文的发表时间)
共12页
87-98