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

集合论公理解决【罗素悖论】二

这是 ZFC 版本下的 separation:

如果A是一个集合,并且ф(x)是一个描述,那么我们可以把那些属于A并且满足描述ф的个体搜集在一起构成一个集合。

这是粗鄙的 separation:

如果ф(x)是一个描述,那么我们可以把那些满足描述ф的个体搜集在一起构成一个集合。

区别在于,ZFC 下面的 separation 不是凭空产生的,而依赖于原有的集合。

在粗鄙的情况下,会产生罗素悖论。令ф(x):=x ∉ x就可以得到{x:x ∉ x},然后问这个集合是否属于自身,便得到悖论。但是在 ZFC 中,即便没有 foundation, 也不会出现这样的问题,因为根本就没有{x:x ∉ x}这样的写法,只有{x ∈ A:x ∉ x}这样的写法,而就算是没有 foundation,我们光从{x ∈ A:x ∉ x}也得不到矛盾。将{x ∈ A:x ∉ x}这个集合记作 B,只有在B ∈ A并且B ∉ B的情况下才会有问题。那么我们只需要选择B ∉ B并且B ∉ A就能避免矛盾了。当然,另一条线依旧是不能选择的:假设B ∈ B,那么我们就得到B ∈ A并且B ∉ B,而这一边依旧是一个矛盾。但是没关系,另一边已经不再封闭了。

于是,在 ZFC 里面,罗素悖论的形式帮助我们看清了这一点:对于任何一个集合 A,总存在一个集合 B,使得 B 不在 A 里面。换而言之,不存在所有集合的集合。

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

相关小说

萌萌传 连载中
萌萌传
像老鹰一样123
《这样唱好美》中的女歌手,苏诗丁,唱得歌,比如《杀破狼》,唱得声音很玄空,清脆悦耳,小艳听了也说好听,撒撒听了说摇头,那我问他:“你喜欢什么......
61.9万字7个月前
请指认我的心脏 连载中
请指认我的心脏
郇遂
简介正在更新
0.5万字7个月前
曹氏饿了么集团商业帝国 连载中
曹氏饿了么集团商业帝国
海豚_92425688407329648
本书主要讲,曹氏家族企业1路发展到商业帝国。
0.8万字6个月前
神话:以四季之名 连载中
神话:以四季之名
西宴残阳
本文无CP,可以随便磕。讨厌神话类请避雷。无法言语,无法垂泪。神主不过是异世的来者;自然不过是毁灭的执行者;死亡不过是开启毁灭之门的钥匙;爱......
0.4万字4个月前
沈暮言:我当总裁的那些年 连载中
沈暮言:我当总裁的那些年
C6红尘客
当20亿项目资金在层层安保下不翼而飞,当最信任的副手与挚爱之人联手布下陷阱,沈氏集团最年轻的总裁沈慕言,在一夜之间从商业帝国的顶端跌入背叛的......
2.1万字2个月前
缪斯乐园 连载中
缪斯乐园
糖听
双男主,末世+异能,HE北之醒来的时候,和一个人形怪物来了个大眼瞪小眼。下一秒,怪物朝他张开嘴,露出一口不规整的尖牙……未等北之有所反应,一......
1.9万字1个月前