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

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

这是 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://tongren.me),接着再看更方便。

相关小说

元良续章 连载中
元良续章
南缘十四
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
1.9万字4个月前
东华凤九续写 连载中
东华凤九续写
毓·凌冢
1~129是剧版《十里桃花》的续写,130开始是《枕上书》的续写
6.5万字4个月前
十二星座:坠落星辰 连载中
十二星座:坠落星辰
念玖辞
黑历史整改中请勿进。————严禁抄袭,严禁转载封面出自于:音洛漓梦(楠溪洛浅)安陵忆昔_灵蝶签约于2022.7.16
2.6万字4个月前
王的甜蜜宠儿 连载中
王的甜蜜宠儿
丹音
一个人的郊游让天真无邪呆萌的她遇上了身为血族之王的他,一场突如其来的暴雨让她无意间闯入了他的领地,一次朋友的背叛让她心痛不已,而他将她揽入怀......
10.5万字4个月前
花引扶苏 连载中
花引扶苏
子涵1
古风式吸血鬼族与天守族,以及人类之间的故事。天地初始,具备人这一形态的并非只有人类,它们是披着人皮的猛兽,拥有惊世的美貌与无与伦比的力量,高......
7.5万字4个月前
小心甜心之情初开 连载中
小心甜心之情初开
忠诚萌盟
这对CP有点“小甜
0.3万字4个月前