Razlika između inačica stranice »Aksiom para«

Izvor: Hrvatska internetska enciklopedija
Skoči na:orijentacija, traži
(Bot: Automatski unos stranica)
 
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

Trenutačna izmjena od 18:19, 28. travnja 2022.

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))

Izvori