Razlika između inačica stranice »Aksiom para«
Izvor: Hrvatska internetska enciklopedija
(Bot: Automatski unos stranica) |
m (bnz) |
||
Redak 1: | Redak 1: | ||
'''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
- Prirodoslovno matematički fakultet u Zagrebu Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 2