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

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

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

相关小说

想要竹马甜甜的~ 连载中
想要竹马甜甜的~
九-儿
明明人家的时而霸道,时而温顺,可盐可甜,为什么我的竹马不一样?!在线等!急啊!!!
1.7万字1年前
永远停驻于那个夏天吧 连载中
永远停驻于那个夏天吧
4000時
请关注四千时谢谢喵【自留oc向】第一次在话本写东西!这是纯oc向的小说てす!一起去鬼屋探险吧!杂乱剧情注意‼️多结局注意❗️男频剧情️,女频......
0.7万字12个月前
抱歉,徒弟有点多 连载中
抱歉,徒弟有点多
浔眠Dorment
【修仙+大女主+狗血+打脸】江予瑾X玄苍五百年过去了,以为死对头终于死了打脸,江予瑾好不容易决定从山上下来逛逛,结果处处受阻……没关系,我有......
0.3万字10个月前
小爱神与小战士 连载中
小爱神与小战士
柔狂_
爱神与战士He
5.3万字8个月前
三世情缘之重生后我竟成了仇敌首徒 连载中
三世情缘之重生后我竟成了仇敌首徒
洛安歌
一万年前,他们是伴侣却不得善终。第二世他们没认出彼此站在对立面。今生为师徒。在仇恨与爱慕之情徘徊,难以抉择。
2.8万字7个月前
无限:请杀死我,取代我 连载中
无限:请杀死我,取代我
木头云
【已签约,双男主,原创(抄袭必究),无限流,治愈向,微恐,慢热,群像文。】别名《NPC扮演视角》主cp(双男):社畜倒霉蛋玩家祝然——切片B......
2.3万字4个月前