Can you summarize the following document?
        
  ZFC構成自一個單一的基本本體論概念集合,和一個單一的本體論假定,就是在論域中所有的個體(就是所有數學物件)都是集合。有一個單一的基本二元關係集合成員關係;集合"a"是集合"b"的成員寫為"a" formula_1 "b"(通常讀做"a是b的元素")。ZFC是一階理論,所以ZFC包括後臺邏輯是一階邏輯的公理。這些公理支配了集合的行為和互動。ZFC是標準形式的公理化集合論。使用ZFC的大量的正在進行中的普通數學推導請參見Metamath線上計劃。  在1908年,恩斯特·策梅洛提議了第一個公理化集合論,策梅洛集合論。這個公理化理論不允許構造序數;而多數“普通數學”不使用序數就不能被開發,序數在多數集合論研究中是根本工具。此外,Zermelo的一個公理涉及“明確性”性質的概念,它的操作性意義是有歧義的。在1922年,亞伯拉罕·弗蘭克爾和陶拉爾夫·斯科倫獨立的提議了定義“明確性”性質為可以在一階邏輯中公式化的任何性質,從他們的工作促成了替代公理。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免除了樸素集合論的三大悖論,羅素悖論、布拉利-福爾蒂悖論和康托爾悖論。  文獻中討論過的ZFC的缺陷包括:

  ZFC的公理有許多等價的公式。下列的公理集合是由丘嫩於1980年提出的。公理本身以一階邏輯來敘述,之中的句子只是用來增加對邏輯描述的直覺概念。

  Axiom of extensionality  兩個集合相等,若它們有相同的元素。 這個公理的逆敘述可以由等式的代替性中得到。若背景邏輯不包含等式「=」,"x"="y"可以定義為如下公式的縮寫 如此一來,外延公理可寫成: 若"x"和"y"有相同的元素,則它們屬於同一個集合

  Axiom of regularity / Axiom of foundation  每個非空集合"x"都包含一個成員"y",使得"x"和"y"不相交。

  設"z"為一個集合,且formula_6為任一個描述"z"內元素"x"的特徵的性質,則存在"z"的子集"y",包含"z"內滿足這個性質的"x"。這個「限制」可用來避免羅素悖論之類的悖論。更形式化地說,令formula_6為ZFC語言中的任一公式,具有formula_8等自由變數(即"y"在formula_6內不是自由的),則 這個公理是Z的一部分,但在ZF中就顯得多餘,因為它可以由替代公理和空集公理中匯出。  由分類公理構成的集合通常使用集合建構式符號來標記。給定一集合"z"和具有一自由變數"x"的公式formula_11,則由所有在"z"內,滿足formula_6的"x"所組成的集合,標記為  分類公理可以用來證明空集(標記為formula_14)的存在,只要至少已存在一個集合。通常的方法是找一個所有集合都沒有的性質。例如,設"w"是一個已存在的集合,而空集可定義為 若背景邏輯包含等式,也可定義空集為 因此,空集公理可由此處的九個公理中匯出。外延公理還可證明空集是唯一的(不依賴"w")。通常會以定義性擴充套件,將符號formula_14加至ZFC語言中。

  Axiom of pairing  若"x"和"y"是集合,則存在一個集合包含"x" 和"y"。 這個公理是Z的一部分,但在ZF中就顯得多餘,因為它可以由將替代公理應用至任意有兩個成員的集合上匯出。此類集合的存在性可由將無窮公理或冪集公理應用兩次至空集上得到。

  Axiom of union  對任一個集合formula_19,總存在一個集合"A",包含每個為formula_19的某個成員的成員的集合。

  Axiom schema of replacement  令formula_22是ZFC語言內的任意公式,其自由變數有formula_23,但"B"在formula_22 則不是自由的。則:  較不形式地說,這個公理敘述:若一個可定義的函式"f"的定義域為一集合,且對定義域的任一"x","f"("x")也都是集合,則"f"的值域會是一個集合的子集。這個限制被需要用來避免一些悖論。

  Axiom of infinity  令formula_26為formula_27,其中formula_28為某個集合,則存在一個集合"X",使得空集formula_14為"X"的成員,且當一個集合"y"為"X"的成員時,formula_30也會是"X"的成員。 較口語地說,存在一個有無限多成員的集合"X"。滿足無窮公理的最小集合"X"為馮諾伊曼序數ω,這個序數也可想成是自然數的集合formula_32。

  Axiom of power set  令formula_33為formula_34。對任一個集合"x",皆存在一個集合"y",為"x"的冪集的父集。"x" 的冪集為一個其成員為所有"x"的子集的類。

  Well-ordering theorem  對任一集合"X",總存在一個可良好排序"X"的二元關係"R"。這意指著,"R"是"X"上的全序關係,且"X"內每個非空子集在"R"下都有一個最小元素。  若給定前八個公理,就可以找到許多個和第九個公理等價的敘述,最著名的則為選擇公理,其敘述如下:令"X"為一非空集合,則存在一從"X"對映至"X"內成員的聯集的函式(稱為「選擇函式」),可使得對所有的"Y" ∈ "X"都會有"f"("Y") ∈ "Y"。因為當"X"為有限集合時,選擇函式的存在性很容易由前八個公理中證出,所以選擇公理只在無限集合中有意義。選擇公理被認為是非結構的,因為它只宣告一個選擇集合的存在,但完全不講這個選擇集合是如何被「建構」出來的。
策梅洛-弗蘭克爾集合論(英語:Zermelo-Fraenkel Set Theory),含選擇公理時常簡寫為ZFC,是在數學基礎中最常用形式的公理化集合論,不含選擇公理的則簡寫為ZF。它是二十世紀早期為了建構一個不會導致類似羅素悖論的矛盾的集合理論所提出的一個公理系統。