集合论的公理之一。
形式陈述.在 Zermelo-Fraenkel 公理的形式语言中，这个公理读做：换句话说：
解释.我们可以使用外延公理来证明只有一个这样的集合。因为它是唯一的，我们可以简单名之为空集，并将其标记为 {} 或 formula_2。因此这个公理的本质是：空集公理一般被认为是无可争议的，它或它的等价命题出现在任何可替代的集合论的公理化中。在 ZF 的某些陈述版本中，空集公理实际上在无穷公理中是重复的。换句话说，有不预设空集存在的另