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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/29 07:20:02
什么是决定性公理拜托各位了3Q什么是决定性公理拜托各位了3Q什么是决定性公理拜托各位了3Q决定性公理是与描述集合论密切相关的公理,它涉及到自然数列的集合是否能够通过某种方法决定.决定性公里的基本问题是

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

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