ZF是Zermelo–Fraenkel的简写,他们分别指数学家 Ernst Zermelo 和 Abraham Fraenkel;C指选择公理 (Axiom of Choice)。. 合在一起简称ZFC。. 集合是由确定的元素构成的整体,或者是“一堆东西”。. 但是我们需要有一些公理来规定什么样的一堆东西可以是集合,什么样的一堆 ...
In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection of non-empty sets is non-empty.