Aksiom para: razlika između inačica

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

Aksiom para je aksiom iz teorije skupova. Jedan je od aksioma Zermelo–Fraenkelove teorije.

Glasi da svaka dva skupa postoji skup čiji oni jedini elementi. U formalnom obliku to je

∀x∀y∃z∀u(u∈z↔(x=u∨y=u))

Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 2

Inačica od 23. studeni 2021. u 00:20 vidi izvor WikiSysop (razgovor \| doprinosi) AA_Korisnik, Botovi, Birokrati, Administratori sučelja, Otajnici, Administratori 570.628 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.628 edits m bnz
Redak 1:		Redak 1:
	~~<!--'''Aksiom para'''-->~~'''Aksiom para''' je [[aksiom]] iz [[teorija skupova\|teorije skupova]]. Jedan je od aksioma [[Zermelo–Fraenkelova teorija\|Zermelo–Fraenkelove teorije]].		'''Aksiom para''' je [[aksiom]] iz [[teorija skupova\|teorije skupova]]. Jedan je od aksioma [[Zermelo–Fraenkelova teorija\|Zermelo–Fraenkelove teorije]].

	Glasi da svaka dva skupa postoji skup čiji oni jedini elementi. U formalnom obliku to je		Glasi da svaka dva skupa postoji skup čiji oni jedini elementi. U formalnom obliku to je