Aksiom praznog skupa: razlika između inačica

Posljednja izmjena od 28. travanj 2022. u 18:19

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.

\exists x\,\forall y\ (y\not \in x)

odnosno

\exists x\,\forall y\,\lnot (y\in x)

Po aksiomu ekstenzionalnosti slijedi da je takav skup jedinstven i oznaka za taj jedinstveni objekt je ∅.

Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Teorija skupova; Zagreb: Sveučilište u Zagrebu, siječanj 2015. str. 8

Inačica od 5. studeni 2021. u 18:38 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 570.529 edits Bot: Automatski unos stranica		Posljednja izmjena od 28. travanj 2022. u 18:19 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 570.529 edits m bnz
Redak 1:		Redak 1:
	~~<!--'''Aksiom praznog skupa'''-->~~'''Aksiom praznog skupa''' je [[aksiom]] egzistencije iz [[teorija skupova\|teorije skupova]]. Jedan je od aksioma [[Zermelo–Fraenkelova teorija\|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 (matematika)\|element]].		'''Aksiom praznog skupa''' je [[aksiom]] egzistencije iz [[teorija skupova\|teorije skupova]]. Jedan je od aksioma [[Zermelo–Fraenkelova teorija\|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 (matematika)\|element]].

	[[Formalni jezik\|Formalnim jezikom]] glasi		[[Formalni jezik\|Formalnim jezikom]] glasi