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

不完全性定理

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

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

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

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

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

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

受到罗素类型论思想的启发,哥德尔为集合论的公理系统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),接着再看更方便。

相关小说

来自遥远云境国度的星月神话 连载中
来自遥远云境国度的星月神话
糖裕
遵守世界法的萝甜甜掌管星星法则,一直爱护着可爱的子民。从西界到东海的旅途由此展开。与一群可爱的同胞,拥有友谊,发现爱情,守护亲情。
0.5万字5个月前
书外的你我是天作之合 连载中
书外的你我是天作之合
璟秋竹
明月几时有?把酒问青天。你是暖阳,是我生命里不可缺失的光,你是早晨的太阳,明亮又耀眼。所以,谢谢你永远选择我。苏淮雪,不论书里书外。(双女主......
0.6万字4个月前
兰式玉 连载中
兰式玉
匕首_27562892568598715
苏章是个杀手在执行任务时意外身亡,在睁眼就到了个陌生的地方,还绑定了万圣2.0系统,在个个小世界演绎角色。
1.6万字3个月前
星空下的守望者 连载中
星空下的守望者
橙子🍊🍊_754698565
科技的发展使人类成功走向宇宙,星际时代就此拉开帷幕。当人类的星际移民进行的如火如荼时,来自宇宙深处的神秘敌人却悄然降临……一个从边缘星球走出......
5.0万字3个月前
谢绝凌 连载中
谢绝凌
白芷沂
在这个宇宙中,女主角就如同那破晓前的孤星,身披一袭神秘的面纱,让人难以捉摸。似乎命运之神特意为她安排了一场跌宕起伏的剧本,她的故事像是一首待......
1.7万字2个月前
天圆地方,太阳之女 连载中
天圆地方,太阳之女
烧麦寒柒
天圆地方,女尊世界。太阳之女,涅槃重生……
1.0万字1周前