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

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

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

相关小说

勿入混圈 连载中
勿入混圈
段筱玖
女主段筱筱的作死之路
0.2万字5个月前
全民领主:来自东方的公主殿下 连载中
全民领主:来自东方的公主殿下
雪雪宝儿
无尽大陆,实力为尊。她本是一个普通的女孩儿,却不小心穿越到这神秘的蓝星,进行万族争霸。幸好幸好,有地球妈妈和祖国妈妈给不幸走丢的小姑娘加bu......
0.8万字4个月前
君忆仙落凡尘 连载中
君忆仙落凡尘
三寸旧城七寸执怜
青丘狐族是上古时期九尾狐神族遗留下的血脉因地势缘由,而迁移致高处,因防有凡人意外闯入而设了结界,也为了保护族人,所以定下族规,以防不知情的族......
23.2万字3个月前
地缚少年:第八大灵异现象 连载中
地缚少年:第八大灵异现象
悦音幻
这里是ALL女主文,主花子君和原创女主,想看的就进来吧,比较甜,花宁粉勿进。
1.6万字2个月前
听说,你很乖 连载中
听说,你很乖
今天鬼鬼不上楼
妖界有一灵兔,是人人都知道的温柔孝敬的乖乖女,白源里的少主却不那么认为,他见此女虽然温温柔柔的,看起来的柔柔弱弱的,但是却是笑里藏刀,做事果......
2.5万字1周前
慕容归零 连载中
慕容归零
丽志_25672919270903971
慕容前世嫁给了蔡飞,蔡飞家暴直到而死都不明白是,原来蔡飞和慕楠早就勾搭在一起了。原来墨卿才是真正的爱我的,把她抱在怀里哭。蔡飞和慕楠你把墨卿......
5.1万字5天前