Zermelo-Fraenkel 集合論的公理，它斷言由相同元素構成的集合是相等的，
 |
請注意，一些文獻（例如，Devlin 1993）使用雙向等價 
在 "
," 之前，而另一些文獻（例如，Enderton 1977, Itô 1986）使用單向蘊含 
。 然而，單向蘊含就足夠了。
使用符號 
（
是 子集 
的子集）表示 
，該公理可以簡明地寫成
 |
其中 
表示邏輯與。
外延公理
另請參閱
Zermelo-Fraenkel 集合論使用 探索
參考文獻
Devlin, K. The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd ed. New York: Springer-Verlag, 1993.Enderton, H. B. Elements of Set Theory. New York: Academic Press, 1977.Itô, K. (Ed.). "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press, pp. 147-148, 1986.在 中被引用
外延公理請引用為
Weisstein, Eric W. "Axiom of Extensionality." 來自 Web 資源。 https://mathworld.tw/AxiomofExtensionality.html