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