Aksiom praznog skupa
From Wikipedia, the free encyclopedia
Aksiom praznog skupa je aksiom egzistencije iz teorije skupova. Jedan je od aksioma Zermelo–Fraenkelove teorije. Po tom aksiomu postoji barem jedan skup, a to je skup bez elemenata odnosno prazan skup, odnosno skup koji ne sadrži niti jedan element.
Formalnim jezikom glasi
odnosno
Po aksiomu ekstenzionalnosti slijedi da je takav skup jedinstven i oznaka za taj jedinstveni objekt je ∅.