应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 【求助】罗素悖论中不包含自身的集合是什么样的
31/1返回列表
查看: 1227  |  回复: 2
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
本帖产生 1 个 数学EPI ，点击这里进行查看

shanhaiguan

银虫 (小有名气)

[交流] 【求助】罗素悖论中不包含自身的集合是什么样的 已有2人参与

请各位大神指教
回复此楼

» 猜你喜欢
1楼 2010-10-11 22:41:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)
★ ★ ★
小木虫(金币+0.5):给个红包，谢谢回帖交流
wuguocheng(金币+2, 数学EPI+1):辛苦了 2010-10-22 19:27:52
罗素悖论：

令A={B: B 不∈ B}，则 A 不可能是一个集合。因为如果 A 是一个集合，则我们可以提 A ∈ A 和 A 不∈ A 两个命题，按照排中律，二者必定有一个成立。但是由 A ∈ A 可以推出 A 不∈ A，而由 A 不∈ A 可以推出 A ∈ A。

这个悖论说明，不是任意把一组对象放在一起都能形成一个集合。

与此相仿，设 S 是预先给定的一个集合，令 A={ B∈S : B 不∈ B}，我们同样有 A 不∈ A成立。按照 ZF 体系的内涵公理，我们这次承认 A是一个集合，但由此则推出 A 不∈ S。这说明任何一个集合都有它所不能包含的元素，那种“包含一切东西的集合”是不存在的。

[ Last edited by Pchief on 2010-10-12 at 13:05 ]
赞一下(2人) 回复此楼
2楼2010-10-12 02:03:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

shanhaiguan

银虫 (小有名气)
引用回帖:
Originally posted by Pchief at 2010-10-12 02:03:28:
罗素悖论：

令A={B: B 不∈ B}，则 A 不可能是一个集合。因为如果 A 是一个集合，则我们可以提 A ∈ A 和 A 不∈ A 两个命题，按照排中律，二者必定有一个成立。但是由 A ∈ A 可以推出 A 不∈ A，而由 A 不∈ ...

高手，谢谢
回复此楼
3楼2010-10-12 12:32:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 shanhaiguan 的主题更新
31/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
关闭
请填处理意见
关闭