于是我们根据《泛函初步》书中的内容,解析康托尔-伯恩斯坦-施罗德定理的证明完毕 我个人感觉这个证明和卓里奇里描述的证明有异曲同工之妙,甚至就是同种证明方法的不同描述,不知道是谁给的证明,十分巧妙
看到网上多个版本的证明都随意用到了无限个集合的并,比如百科中给的一个方法,如我上传的图片。也可直接维基百科康托尔-伯恩斯坦-施罗德定理。证明中用到了递归定义了Cn,并给出集合C=所有Cn的并,我想问的是直接这么做合理吗?如果完全使用集合论ZF公理(函数也认为是一种集合,即某种关系),哪些公理保证存在所有Cn?
4、 定理：(ω,∈)是良序集。另外，还能证明数学归纳法在自然数上成立。6、 定理：对所有自然数n，...