##### 空集公理 - 空集公理 - **空集公理**在[[策梅洛-弗兰克尔集合论]]中表示存在一个没有任何元素的[[集合]], 称为空集, 记作 $\emptyset$. 这个公理保证了至少有一个集合存在, 即空集 - $\exists A \forall x (x \notin A)$