Zermelo-Fraenkel 集合论的公理，它断言由相同元素构成的集合是相等的，
 |
请注意，一些文献（例如，Devlin 1993）使用双向等价 
在 "
," 之前，而另一些文献（例如，Enderton 1977, Itô 1986）使用单向蕴含 
。 然而，单向蕴含就足够了。
使用符号 
（
是 子集 
的子集）表示 
，该公理可以简明地写成
 |
其中 
表示逻辑与。
外延公理
另请参阅
Zermelo-Fraenkel 集合论使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 中被引用
外延公理请引用为
Weisstein, Eric W. "Axiom of Extensionality." 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/AxiomofExtensionality.html