Prazni skup: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
Nema sažetka uređivanja
Redak 44:
== Aksiomatska teorija skupova ==
 
U [[aksiomatska teorija skupova|aksiomatskoj teoriji skupova]] poznatoj i kao [[Zermelo-Fraenkelova teorija]] skupova, postojanje praznog skupa je osigurano [[aksiom praznog skupa|aksiomom praznog skupa]]. Jedinstvenost praznog skupa slijedi iz [[aksiom rasprostranjenosti|aksioma rasprostranjenosti]].
 
Svaki aksiom koji tvrdi postojanje nekog skupa će implicirati aksiom praznog