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

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

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

相关小说

喜美:朦胧梦境 连载中
喜美:朦胧梦境
湫日有棂
禁一切作者:湫日有棂【祈念文学社】从学生时期便认识的我们,为什么最后没能走到一起?一场意外把美幻曦带到副本世界,需要前往一个个世界攻略喜易言......
14.7万字6个月前
长夜的消散 连载中
长夜的消散
泪落朽木
白色的风筝也要独属于它的夜晚
0.2万字3个月前
镜启(完结) 连载中
镜启(完结)
余渊旧林
(因为游戏谈上的俩人帮助岑凛找母亲)幻想
0.4万字3个月前
回溯逆转 连载中
回溯逆转
枫苑音
如果让时间重置,你们能改变未来吗?我期待你们造成的改变。但同时可以承受代价的人离开了就要有无数普通人来承受这个代价[]会同意吗?
0.7万字3个月前
诗:剑:风 连载中
诗:剑:风
Arcanine
失去心脏的少年重新踏上征程,只为寻求他胸腔那一份跳动的炽热感。这人间的风景,果真值得少年在登仙之即流连忘返吗?
1.4万字2个月前
神陨之墟:光明颂 连载中
神陨之墟:光明颂
筱音韵
在神明隐退的破碎纪元,银发少女洛璃背负着连自己都遗忘的创世之秘。一次惨烈的守城战中,她被恶魔首领的毒箭贯穿心脏,从云端坠落——神力溃散、记忆......
0.5万字2周前