数学联邦政治世界观
超小超大

不完全性定理

第一不完全性定理的内容是:“无论数学无矛盾地如何形式化,都存在着既不能证明也不能反证的命题。”

换句话说,不可能写出数学所需的所有公理。

既然这个定理被特意冠之以第一,那么也存在成为第二不完全性定理的东西。

第二不完备性定理是“任何形式的体系都不能证明其体系自身并不矛盾”。

这意味着,要显示某一形式体系并不矛盾,作为元逻辑,需要比该体系更有力的体系。

第一个在连续统问题上取得进展的是哥德尔。

受到罗素类型论思想的启发,哥德尔为集合论的公理系统ZFC构造了一个模型L,L的元素称为可构成集。

可构成集模型是一个分层的结构,其中每一层都是由前面层谱的可定义子集得到的。

哥德尔证明除了集合论已有的公理都在L中成立外,“可构成公理(V=L)”,即所有集合都是可构成的,在L中也成立,而这一公理蕴涵连续统假设,因此CH也在L中成立。

用数理逻辑的术语说,哥德尔的结果表明:如果ZFC是一致的,则ZFC+CH也是一致的。

因此,我们不能期望从ZFC证明CH是假的。

哥德尔构造集合论模型的方法是从全类V出发,L是对V的限制。

L包含了所有的序数(因此它是一个真类),它在“高度”上与V是一致的,只是它比V显得更“细”。

现在一般把包含所有序数的传递类称为“内模型”。

Ⅴ和L高度一致,宽度不够

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

雅家:六大天王 连载中
雅家:六大天王
77小X
原创男主角女主角
4.0万字5个月前
金花图万事书 连载中
金花图万事书
镀金鸢尾
愿望不都是美好的坚定的感情不都是充满对肉身及财富地位的渴望的人不都是为满足自己的灵魂而活的——当然,这要看你怎么判断这几句话了,是犹带猜疑的......
1.3万字5个月前
秋桂花风 连载中
秋桂花风
蛙小呱
我oc小说,因为画技和屎一样,所以来写小说了
0.5万字5个月前
快穿:三千妄念缚明月 连载中
快穿:三千妄念缚明月
我心许月
【双男主+快穿+万人迷+1vN+主受视角】长衡宗长老温简言心怀道义,怜悯苍生,白雪仙尘,天人之姿。是无数人心中肖想的,可望而不可即的明月。温......
9.9万字3周前
失去了,才去爱(复仇记) 连载中
失去了,才去爱(复仇记)
TK01234
(我叫周余,我的爸爸妈妈并不喜欢我,可却把我生了下来,我有一个妹妹和哥哥,哥哥叫周明。妹妹是养女,哥哥和爸爸妈妈们都很喜欢他,妹妹叫周甜。)......
1.9万字2周前
待我复活 连载中
待我复活
厥题
(开学了,更新慢,请各位读者谅解)在校园组织得一次郊游里,叶云汐和反派沈阳首次交手,双方都暴露了变种人的身份。沈阳为了老板的研究,不顾一切代......
3.7万字3天前