2.2 无序对公理在说什么? 2.3 为什么叫无序公理? 2.4 无序对能够构建什么样的集合? 2.5 无序对能够构造三元集合吗? 3. 构建有序对 3.1 定义 3.2 如果两个有序对相等,意味着什么? 4. 思考一下 1. 动机及背景知识 ZF1外延公理规定了集合由其元素唯一确定。 ZF2内涵公理集,由已知集合,可以构造更小一些的
集合论基础——ZFC公理系统和类 以下内容来自于 Thomas J.Jech - Set Theory(1978)一、ZFC公理系统(Zermelo-fraenkel) 外延公理:如果 X 和 Y 拥有相同的元素,那么 X=Y . 配对公理:对于任意的 a,b ,都存在集合 \{a,b\} … 孤鸿 集合论(一)---外延性公理, 配对公理, 分离公理图示, 并集公理, 幂集...
从0理解的数学 VTuber 9.集合论 ZF形式系统 无序对公理, 视频播放量 191、弹幕量 0、点赞数 12、投硬币枚数 1、收藏人数 3、转发人数 1, 视频作者 Twilight-Dream, 作者简介 请让科技继续发展吧,步步走向魔法的大门。网络世界是虚拟世界的一部分,也是我们精神世界的来源之
ZF3 无序对公理 ∃s(a∈s∧b∈s). 根据ZF3 与ZF2 我们可以做出如下定义: 定义1 (无序对) 设有集 a,b. 取集s 使得a,b∈s (由 ZF3 ,这样的集 s 是存在的)。由 a,b 形成的无序对用{a,b} 表示,它指的是集 {a,b}={x∈s|x=a∨x=b}. 定义右侧的集是由 ZF2 确定的。应用 ZF...
内涵公理通常又称作分离公理或概括公理，定义如下：内涵公理断言存在一个集y,它是由集s(已知集)中具有...
没有幂集公理，都证明不了存在不可数集，H(阿列夫_1)就是除去幂集公理的ZFC+任意集合都是可数集的...
内涵公理通常又称作分离公理或概括公理，定义如下：内涵公理断言存在一个集y,它是由集s(已知集)中具有...