集合论大致可分为 朴素集合论 和 公理集合论.
其实小学还是有初步接触 朴素集合论 的. 比如
里面体现了 集合 与 子集 的概念. 再如
里面出现了集合的 交 与 并 运算.
当然如果你觉得这算不上真正的集合论,那就不妨看看 公理集合论. 公理集合论 目前有若干体系,比较常见的是 ZFC 系统.
ZFC 系统:
外延公理:若两个集合有相同的元素,则这两个集合相等.
配对公理:如果 是集合,则 也为集合.
分离公理:设 为关于集合的一个性质, 表示集合 满足性质 . 则对任意集合 ,必存在集合 .
并集公理:如果一个集合的元素也是集合,则它们的并仍为集合.
幂集公理:对于任一集合 ,其子集的全体构成一个集合.
无穷公理:存在无穷集.
替换公理:设 是以集合 为定义域的映射,则存在集合 .
正则公理:任意非空集合都有一个对从属关系 极小的元素.
选择公理:若集合 的每一个元素都是非空集合,则存在映射 ,使得对任意的 ,有
以上就是所谓的 ZFC 系统,也就是 Zermelo-Fraenkel 系统 加上 选择公理. 这是真正严谨的集合论,但这种集合论别说小学生了,大学生都表示一脸懵逼.
可以想象,集合论的创始人 Cantor 整天跟这种东西打交道,再加上别人对这套理论的猛烈攻击,他不精神分裂才怪呢!
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有