Zermelo-Fraenkel 集合论
维库，知识与思想的自由文库
|
Zermelo-Fraenkel(策梅罗-弗兰克尔)集合论，有选择公理，常简写为 ZFC，是在数学基础中最常用形式的公理化集合论。
[编辑] 介绍ZFC 构成自一个单一的基本本体论概念集合，和一个单一的本体论假定，就是在论域中所有的个体(就是所有数学对象)都是集合。有一个单一的基本二元关系集合成员关系；集合 a 是集合 b 的成员写为 a 在 1908 年，Ernst Zermelo 提议了第一个公理化集合论，Zermelo 集合论。这个公理化理论不允许构造序数；而多数“普通数学”不使用序数就被不能被开发，序数在多数集合论研究中是根本工具。此外，Zermelo 的一个公理涉及“明确性”性质的概念，它的操作性意义是有歧义的。在 1922 年，Abraham Fraenkel 和 Thoralf Skolem 独立的提议了定义“明确性”性质为可以在一阶逻辑中公式化的任何性质。从他们的工作促成了替代公理。Zermelo 集合论接受替代公理和正规公理产生了被称呼为 ZF 的这个集合论。 向 ZF 增加选择公理产生了 ZFC。在数学成果要求选择公理的时候，有时明显的这么声明。这么单提出 AC 的原因是 AC 天生的是非构造性的；它确立一个集合(选择集合)的存在，而不规定如何构造这个集合。所以使用 AC 证明的结果涉及尽管可以证明其存在(如果你不忠于构造主义本体论的话)，但可能永远都不能构造出来的集合。 ZFC 有无穷多个公理，因为替代公理实际上是公理模式。已知 ZFC 和 ZF 集合论二者都不能用有限数目个公理来公式化；这最先由 Richard Montague 证实。在另一方面，冯诺伊曼-博内斯-哥德尔集合论（Von Neumann–Bernays–Gödel, NBG）可以有限的公理化。NBG 的本体论同集合一样包括类；类是有成员但不是其他类的成员的实体。NBG 和 ZFC 是等价的集合论，在关于集合(就是说不以任何方式提及类)的任何定理在一个理论中可以证明就可以在另一个理论中证明的意义上。 依据哥德尔第二不完备定理，ZFC 的相容性不能在 ZFC 自身之内证明。ZFC 的广延等同于普通数学，所以 ZFC 的相容性不能在普通数学中证明。ZFC 的相容性可从弱不可及基数的存在而得出，它是其存在不能在 ZFC 中证明的某种东西。但是几乎没有人怀疑 ZFC 有什么未被发觉的矛盾；如果 ZFC 是不自洽的，早就该被發掘出来。这是确定无疑的: ZFC 免除了朴素集合论的三大悖论，罗素悖论、Burali-Forti悖论和康托尔悖论。 文献中讨论过的 ZFC 的缺陷包括:
[编辑] 公理有很多等价的公式化，请看每个公理的单独条目。 Z ZF ZFC [编辑] 参见[编辑] 文献
[编辑] 外部链接
|
b (通常读做 "a 是 b 的元素")。ZFC 是一阶理论；所以 ZFC 包括后台逻辑是
