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
|