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

不完全性定理

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

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

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

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

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

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

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

相关小说

我靠养鱼,日常变美 连载中
我靠养鱼,日常变美
寒时温
快穿流,不喜勿入(日更2000~4000)一句话简介:我靠养鱼,日常变美!颜末小姐的鱼塘壮大史。第一处鱼塘:网恋选我,我超甜第二处鱼塘:恋综......
57.9万字5个月前
万人迷她又被强取豪夺了 连载中
万人迷她又被强取豪夺了
李朵儿
【女主万人迷】+【众多修罗场】+【男神收割机】+【颜值巅峰】+【娇软美人】+【可甜可盐】+【强取豪夺】+【玛丽苏】+【绿茶美人】花琉璃只想完......
69.3万字5个月前
不是向阳花 连载中
不是向阳花
听音不见仙
女主:薛茗
0.7万字3个月前
星际迷途:时光之匙 连载中
星际迷途:时光之匙
176***090_0306349480
新人作者,多多关照
1.4万字2个月前
请指认我的心脏 连载中
请指认我的心脏
郇遂
简介正在更新
0.5万字1个月前
快穿:万年女配要翻身 连载中
快穿:万年女配要翻身
梁凉了
一不小心穿越了一回,系统君竟然给了无数个女配剧本!接受吧,被男女主虐死!不接受吧,马上死!灰飞烟灭的那种。于是,她妥协了。拿着女配剧本穿梭于......
13.5万字1周前