【摘要】假设V=终极L,则连续统假设为真,并且所有关于集合论的独立性问题都可以还原为有关更大无穷的公理,它还为集合论提供了一个对科恩力破免疫的公理化基础。在这个意义上,这将是哥德尔纲领的一个实现。更进一步,如果V=终极L是真的,那么就存在一个独特的集合论模型,从某种意义上说它就是真实的集合宇宙。这一事实本身说明集合的宇宙是一个确定的客观实在,可以看作是支持柏拉图主义的证据。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中外医疗》 2015-07-06
《广西广播电视大学学报》 2015-07-01
《重庆高教研究》 2015-06-30
《重庆高教研究》 2015-06-30
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点