是 策梅洛-弗兰克尔公理 之一，它断言 空集 
的存在性。 该公理可以用符号表示为
 |
空集公理
另请参阅
策梅洛-弗兰克尔公理使用 Wolfram|Alpha 探索
参考文献
Itô, K. (Ed.). "策梅洛-弗兰克尔集合论。" 数学百科全书，第 2 版，第 1 卷 第 33B 节。 Cambridge, MA: MIT Press, pp. 146-148, 1986.在 Wolfram|Alpha 中被引用
空集公理请引用为
Weisstein, Eric W. "空集公理。" 来自 MathWorld--一个 Wolfram 网络资源。 https://mathworld.net.cn/AxiomoftheEmptySet.html