| 查看: 4659 | 回复: 4 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[求助]
关于康托尔－伯恩斯坦－施罗德定理的证明问题 已有1人参与
|
|||
|
看到网上多个版本的证明都随意用到了无限个集合的并，比如百科中给的一个方法，如我上传的图片。也可直接维基百科康托尔－伯恩斯坦－施罗德定理。证明中用到了递归定义了Cn，并给出集合C=所有Cn的并，我想问的是直接这么做合理吗？如果完全使用集合论ZF公理（函数也认为是一种集合，即某种关系），哪些公理保证存在所有Cn？哪些公理保证 C=所有Cn的并 这个集合可以被定义(构造)？ 或者帮我找个完全依赖集合论公理的证明方法，据说康托最初证明是用集合论，我找不着文献。求高人指教！证明中文英文皆可。  康托尔－伯恩斯坦－施罗德定理.png |
回复此楼» 收录本帖的淘帖专辑推荐
 制药工程 |
» 猜你喜欢
关于代码变化问题，想知道的进来
已经有14人回复
-
这样的filecode谁见过
已经有5人回复
-
国基金的申报应该改成非等额制，评价高的钱多评价低的钱少，但是增加资助率
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有6人回复
-
fileCode有新解读？
已经有16人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有5人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有3人回复
终之太刀—晓
铁杆木虫 (著名写手)
数学爱好者
- 数学EPI: 7
- 应助: 282 (大学生)
- 贵宾: 0.018
- 金币: 2934.2
- 散金: 5589
- 红花: 53
- 帖子: 1809
- 在线: 402.1小时
- 虫号: 3469007
- 注册: 2014-10-12
- 性别: MM
- 专业: 偏微分方程
4楼2015-04-03 02:29:56
2楼2015-04-03 00:17:44
终之太刀—晓
铁杆木虫 (著名写手)
数学爱好者
- 数学EPI: 7
- 应助: 282 (大学生)
- 贵宾: 0.018
- 金币: 2934.2
- 散金: 5589
- 红花: 53
- 帖子: 1809
- 在线: 402.1小时
- 虫号: 3469007
- 注册: 2014-10-12
- 性别: MM
- 专业: 偏微分方程
3楼2015-04-03 02:28:53
5楼2015-04-03 08:56:05
100