恢复备份
导出
导入
更新
清空
关闭
More
保存
重做
撤销
预览
开始
框架
模块
您可以通过导出进行模板备份
我知道了
添加框架
添加模块
100%框架
1:1
1:2
2:1
1:3
3:1
1:1:1
tab框架
关闭
当前为
简洁模式
,您可以更新模块,修改模块属性和数据,要使用完整的拖拽功能,
请点击进入高级模式
返回首页
收藏本站
博牛APP
广告合作
新博币提现
如何赚新博币?
新手帮助
在线客服
论坛
综合讨论区
情感交友
声色犬马
灌水闲聊
生活服务
迪拜攻略
二手交易
房屋交易
外卖点餐
小额换汇
站务区
求助问答
投诉申诉
版主招募
建议反馈
求职招聘
登录/
注册
重播
博牛社区
›
产业交流
›
知识百科
电梯直达
»
返回列表
太子妃
翻译小组
当前积分:4016
帖子
739
新博币
1
提现
提现
0
元
发表于 2016-10-8 04:22:31
1962
0
|
显示全部楼层
|
倒序浏览
楼主
在集合论此一数学领域里,布拉利-福尔蒂悖论断言,朴素建构“所有序数的集合”会导致矛盾,因此每个允许此一构造的系统都会显得自相矛盾。此一悖论是以切萨雷·布拉利-福尔蒂来命名的,他在1897年发现了此一悖论。
[micxp_threadbk] [micxp_title] 用冯·诺伊曼序数来陈述 更一般的陈述 悖论在 ZFC 中的解决 外部链接 [/micxp_title] [#] 由所有序数
Ω
{\displaystyle \Omega }
所组成的集合带有序数的所有性质,所以此集合自身也必须被视为是一个序数。接下来,我们可以建构出此序数的后继序数
Ω
+
1
{\displaystyle \Omega +1}
,后者会严格大于前者。不过,这个后继序数也必然是
Ω
{\displaystyle \Omega }
内的元素,因为
Ω
{\displaystyle \Omega }
包括所有的序数,而因此:
Ω
<
Ω
+
1
{\displaystyle \Omega <\Omega +1}
且
Ω
+
1
<
Ω
{\displaystyle \Omega +1<\Omega }
[##] 上述悖论版本是有时代错误的,因为它假定了冯·诺伊曼的序数定义,在他的定义下序数是所有前面序数的集合,在 Burali-Forti 提出这个悖论的时候还没有这种定义。下面是有更少假定的版本: 假设在未指定方式下对每个良序排序关联上叫做它的“序类型”的一个对象(序类型是序数)。“序类型”(序数)自身是在自然方式下良序的,而这个良序排序必定有一个序类型
Ω
{\displaystyle \Omega \ }
。容易证实在朴素集合论(在 ZFC 中仍是真的而在新基础中不是)中,所有小于一个固定的
α
{\displaystyle \alpha \ }
的序数的序类型是
α
{\displaystyle \alpha \ }
自身。所以小于
Ω
{\displaystyle \Omega \ }
的所有序数的序类型是
Ω
{\displaystyle \Omega \ }
自身。但是这意味着作为序数的真初始片段的序类型
Ω
{\displaystyle \Omega \ }
,严格的小于所有序数的序类型,但是按照定义后者就是
Ω
{\displaystyle \Omega \ }
自身。这是荒谬的! 注意如果我们使用冯·诺伊曼的序数定义,在其中每个序数等同为所有前面序数的集合,则这个悖论是不可避免的: 小于一个固定的
α
{\displaystyle \alpha \ }
的所有序数的序类型是
α
{\displaystyle \alpha \ }
自身必定为真。冯·诺伊曼序数的搜集,像在罗素悖论中的搜集一样,不能是使用经典逻辑的集合论的一个集合。但是在新基础中序类型的搜集(定义为所有良序排序在类似性下的等价类)实际上是个集合,这个悖论被避免是因为小于
Ω
{\displaystyle \Omega \ }
的所有序数的序类型变成不是
Ω
{\displaystyle \Omega \ }
。 [###] 现代公理化集合论通过简单的不允许用无限制的概括公理集合构造来绕过这个悖论,而在弗雷格的公理系统中允许构造“有性质
P
{\displaystyle P}
的所有集合”。在新基础中有一个非常不同的解决。 [####]
斯坦福哲学百科: "Paradoxes and Contemporary Logic" -- by Andrea Cantini.
分类:
集合论悖论
序数
[/micxp_threadbk]
个人签名
收藏
0
回复
菲律宾最大的华人电报群,点击加入:https://t.me/boniush365
返回列表
加入博牛招聘会员,尽享专属特权>>
赚博币,当钱花>>
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
|
立即注册
本版积分规则
发表回复
回帖并转播
回帖后跳转到最后一页
浏览过的版块
真人视讯
物流运输
菲律宾新闻
综合讨论区
综合讨论区
新手报道
招聘专区
灌水闲聊
外卖点餐
快速回复
返回顶部
返回列表