是 策梅洛-弗蘭克爾公理 之一，它斷言 空集 
的存在性。 該公理可以用符號表示為
 |
空集公理
另請參閱
策梅洛-弗蘭克爾公理使用 探索
參考文獻
Itô, K. (Ed.). "策梅洛-弗蘭克爾集合論。" 數學百科全書，第 2 版，第 1 卷 第 33B 節。 Cambridge, MA: MIT Press, pp. 146-148, 1986.在 中被引用
空集公理請引用為
Weisstein, Eric W. "空集公理。" 來自 --一個 Wolfram 網路資源。 https://mathworld.tw/AxiomoftheEmptySet.html