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

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

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

相关小说

1000个民间故事 连载中
1000个民间故事
无敌蛙王
每一个故事。或奇幻、或温情、或警醒。那些被岁月尘封的传说。带着生活的烟火与奇思。跨越时空。讲述人间万象。
18.6万字6个月前
半心遗音 连载中
半心遗音
惬笺
主要讲述的是一个法器被众人抢夺的多元素小说,也有宫斗,剧情狗血,慎入
1.1万字5个月前
云雾尽散 连载中
云雾尽散
银线皎月
过一个个的副本,让自己的心变得铁石心肠,直到救出自己的命定之人
0.9万字5个月前
摆烂小说管理人 连载中
摆烂小说管理人
乐干面呀
扣门大学生为捡十块钱被车撞死后在小说管理局打工,选择摆烂的他她在没钱吃饭后还是接取了任务,一向不太正经的她做任务竟然这么靠谱,其他小说管理人......
10.0万字4个月前
我在斗一玩失忆 连载中
我在斗一玩失忆
是宫不是攻
一个失忆的人在不断寻找记忆,不过找着找着怎么变成三个人了?无cp。微偏武魂殿,结局改。
5.4万字3个月前
梦神引…… 连载中
梦神引……
问行且歌
太古时期,帝女桑之灵随众神灵迁往玄天之时,违抗天道神契重返人间,却在降临人间时陷入沉睡,万年后,她终于醒来,却已然忘记了自己当初为何会回来,......
0.5万字2个月前