ZFC公司

这个公理系统包括采埃孚(Zermelo-Fraenkel集合论)以及选择公理（“C”）。ZFC是一致的如果ZF为（如ZF+否定（共C页）。有时可以方便地说证明发生在ZF中（即不需要选择公理）。仍然有一些人不接受C，或者对此有一些疑虑。即使你接受C，在证明中实际使用它，也会立即使结果非常不符合-建设性的因此，ZF中的证明更具建设性。