Ero sivun ”Aksiomaattinen joukko-oppi” versioiden välillä

# Yhdisteaksiooma: Jokaista joukkoa <math>x</math> kohti on olemassa joukko <math>y</math>, jonka alkiot ovat samat kuin joukon <math>x</math> alkioiden alkiot.

# Äärettömyysaksiooma: On olemassa sellainen joukko <math>x</math>, että <math>\{ \}</math> on <math>x</math>:n alkio ja aina kun <math>y</math> on <math>x</math>:n alkio, niin on myös unioni <math>y \cup \{ y \}</math>.

# Korvausaksiooma: Jokaista joukkoa ja kuvausta, joka määritellään formaalisti relaationa <math>P(x,y)</math> missä ehdosta <math>P(x,y)</math> ja <math>P(x,z)</math> seuraa <math>y = z</math>, kohti on olemassa joukko, joka sisältää täsmälleen alkuperäisen joukon alkioiden kuvat.

# Potenssijoukkoaksiooma: Jokaisella joukolla on potenssijoukko eli sen kaikkien osajoukkojen joukko. Se on: jokaista joukkoa <math>x</math> kohti on olemassa joukko <math>y</math>, joka sisältää vain kaikki <math>x</math>:n osajoukot.