网页
资讯
视频
图片
知道
文库
贴吧
地图
采购
进入贴吧
全吧搜索
吧内搜索
搜贴
搜人
进吧
搜标签
日
一
二
三
四
五
六
签到排名:今日本吧第
个签到,
本吧因你更精彩,明天继续来努力!
本吧签到人数:0
一键签到
可签
7
级以上的吧
50
个
一键签到
本月漏签
0
次!
0
成为超级会员,赠送8张补签卡
如何使用?
点击日历上漏签日期,即可进行
补签
。
连续签到:
天 累计签到:
天
0
超级会员单次开通12个月以上,赠送连续签到卡3张
使用连续签到卡
02月05日
漏签
0
天
民科吧
关注:
359,538
贴子:
4,864,550
看贴
图片
吧主推荐
游戏
5
回复贴,共
1
页
<返回民科吧
>0< 加载中...
集合论的另一个悖论,敢来回答吗?
取消只看楼主
收藏
回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
设s是某个集合,令b={x∈s|x∉x},b={x∈s|x∉x}也可以写成b={x|x∈s∧x∉x},尝试证明:
(1)b∉b;
(2)b∉s.
然后尝试回答:
(3)假设所有集合都属于s,那么b是否属于s?
送TA礼物
IP属地:上海
1楼
2024-12-28 18:56
回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
欢迎各位前来
IP属地:上海
来自
iPhone客户端
3楼
2024-12-28 19:17
回复(1)
收起回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
实际上集合有一种等价的描述,而且更加本质,知道的人可能不多,b={x∈s|x∉x} ↔ ∀x(x∈b↔x∈s∧x∉x)。
(1)利用反正法,假设b∈b,那么就可以把b看作成属于b的一个集合,b一定是满足了性质x∈s∧x∉x才能属于b,但很显然b并不满足该性质,矛盾。并且,假设b∉b是不会产生矛盾的。所以b∉b。
(2)同样利用反证法,假设b∈s。根据(1)中我们得到的结论b∉b,我们知道b一定不满足性质x∈s∧x∉x。将我们的假设和(1)中的结论组合起来,得到b∈s∧b∉b,很显然b应该满足性质x∈s∧x∉x,矛盾,所以b∉s。这里注意,我们并没有给出s的定义,只说了s是一个集合,它只是被用于定义集合b。
由此也可以看出来,集合b的内部一定是去除了b的。你们有没有发现集合b很眼熟,是的,用这种方法可以避免罗素悖论。
(3)根据结论(2),有b∉s;但是根据假设,又有b∈s。所以,这显然是个悖论。b确实是不能属于b了,但只要假设所有集合都属于s,就又会产生一个新的悖论。
IP属地:上海
7楼
2024-12-29 15:42
回复(45)
收起回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
@贴吧用户_JRPJ2aJ965
不排除真的是书有问题。
IP属地:上海
13楼
2024-12-29 22:52
回复(39)
收起回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
这里给大伙解释一下,内涵公理说y不应该出现在公式p(x)中,是指在定义的时候不能出现在公式p(x)中。比如∀x(x∈b↔x∈s∧x∉x),这样写是可以的。∀x(x∈b↔x∈s∧b∉b),这样写是错误的。
但后续我们在使用集合b的时候,比如:假设b∈b时,可以将b看作为参数代入公式中,x=b代入,也就是把x看作为一个自变量。
内涵公理只是说s必须是已知集合。
IP属地:上海
14楼
2024-12-29 23:10
回复(2)
收起回复
小宇宙_2024
初反民科
7
该楼层疑似违规已被系统折叠
隐藏此楼
查看此楼
@贴吧用户_JRPJ2aJ965
我也不跟你吵了,我就先不说你两次主动挑起骂战了,我其实已经对你很收敛了。其实我是知道你的意思的,你的意思就是认为ZF已经规定了不允许x∉x,所以只要在ZF里讨论,任何问题都不能出现x∉x。但这是个阶段性的题,就是刚好在这个阶段出现,所以在还没有引入正则公理的情况下讨论的,公理是死的,人是活的。这是在一步一步向你们展示ZF是如何发展到要规定x∉x的。你倒好,上来就给我泼一盆冷水。
IP属地:上海
15楼
2024-12-29 23:14
回复
收起回复
登录百度账号
扫二维码下载贴吧客户端
下载贴吧APP
看高清直播、视频!
贴吧热议榜
1
怎么看待中国对美关税反制措施
1982190
2
坐等哪吒2冲击影史第一
1343524
3
崩铁50w星琼活动引玩家不满
1334043
4
泰国将对泰缅边境缅甸地区断电
1114178
5
哪吒2是尬吹还是真好看
972100
6
返程高峰究竟有多堵
821640
7
肖战版射雕开分5.5合理吗
676154
8
《神奇四侠》发布首支预告
507694
9
姬发:孩子们这才是真正的我!
502047
10
《文明7》媒体评分已解禁
486900
贴吧页面意见反馈
违规贴吧举报反馈通道
贴吧违规信息处理公示