作业帮 > 数学 > 作业

什么是决定性公理拜托各位了 3Q

来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:数学作业 时间:2024/04/28 08:10:44
什么是决定性公理拜托各位了 3Q
什么是决定性公理拜托各位了 3Q
决定性公理是与描述集合论密切相关的公理,它涉及到自然数列的集合是否能够通过某种方法决定. 决定性公里的基本问题是:什么集合是可决定的?经过许多人的努力,马丁在1975年证明,数学中最常用的保莱尔集合是可决定的.下一个猜想是证明所有解析集合(即二维保莱尔集合的射影集合)是可决定的,但这个猜想与哥德尔的可构成性公理相矛盾.上面讲过,可构成性公理是与ZFC是相容的,因此这个猜想无法在集合论中证明.这样一来,它本身可以成为一个新公理.