Set theory
在集合论中，空集公理是 Zermelo-Fraenkel 集合论的公理之一。