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

# Säännöllisyysaksiooma: Jokainen epätyhjä joukko <math>x</math> sisältää sellaisen alkion <math>y</math>, että <math>x</math> ja <math>y</math> ovat erillisiä joukkoja. <math>\forall x [ \exists a ( a \in x) \Rightarrow \exists y ( y \in x \land \lnot \exists z (z \in y \land z \in x))].</math>

# Valinta-aksiooma: (Zermelon versio) Jokaista keskenään erillisten ei-tyhjien joukkojen joukkoa <math>x</math> kohti on olemassa joukko <math>y</math> joka sisältää täsmälleen yhden alkion jokaisesta <math>x</math>:n alkiosta.

 

{{tynkä/Matematiikka}}