Aksiom para
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 Arhivirana inačica izvorne stranice od 8. listopada 2019. (Wayback Machine) Mladen Vuković: Neki osnovni pojmovi teorije skupova, 2004. str. 2