section_heading: Aksiomatska teorija skupova
paragraph_text: U aksiomatskoj teoriji skupova poznatoj i kao Zermelo-Fraenkelova teorija skupova, postojanje praznog skupa je osigurano aksiomom praznog skupa. Jedinstvenost praznog skupa slijedi iz aksioma rasprostranjenosti.