空集合の公理
空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やKP集合論の公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。