空集合の公理の知名度

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