section_heading: Aksiomatska teorija skupova
paragraph_text: Svaki aksiom koji tvrdi postojanje nekog skupa će implicirati aksiom praznog skupa, koristeći separacijsku shemu aksioma. Na primjer, ako je A skup, tada separacijska shema aksioma dopušta konstrukciju skupa B = {x in A | x ≠ x}, koji se može definirati da bude prazni skup.