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

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

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

相关小说

魔匙(不是也没有重名的书啊?!) 连载中
魔匙(不是也没有重名的书啊?!)
作者希岚
这是一个多元化的世界,除了人类,普通的动物,还有异兽,异族。这个世界上存在着一种宝物,名为魔匙,可由于力量太强而分散成八块碎片分别由八大族族......
2.1万字11个月前
同门七仙子 连载中
同门七仙子
仙姬吖
仙界中,师父最疼爱的,师哥师姐最宠爱的,古灵精怪中透露出可爱调皮的小师妹洛瑶,在仙界中十分受宠,却遭遇历劫,法力尽失,但在凡间识得心上人,却......
7.5万字9个月前
倚靠在时光的背后爱着你 连载中
倚靠在时光的背后爱着你
时光荏苒,初心依旧
王进不知不觉中迷恋上高帅,岁月匆匆,她究竟能不能和高帅真正走在一起呢?……
28.1万字7个月前
邪神祭:请神 连载中
邪神祭:请神
虞姬慕
白霄被裁员的那一刻,他不知道自己正坠入一场精心编织的神明欢迎仪式。霓虹在雨夜碎成斑驳的梦,白霄跌入无限流惊悚游戏世界中,成为无数玩家眼中误闯......
17.2万字3个月前
星尘为证,群星予你 连载中
星尘为证,群星予你
秦淮舟
什么!!星际最强指挥官竟变成了一个小孩?曾经的指挥官竟沦为别人的盾?重来一世原本拥有不一样的人生,却义无反顾选择继续踏上守护人类的道路为他再......
1.9万字2个月前
各种短篇CP文 连载中
各种短篇CP文
摘星客_5298747687212674
各种CP都有。
1.5万字2个月前