空集合の公理

空集合の公理 (くうしゅうごうのこうり、) は、ZF集合論やKP集合論の公理の一つで、「いかなる集合も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。