Ero sivun ”Aksiomaattinen joukko-oppi” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
p r2.5.2) (Botti lisäsi: cs, nl poisti: fr muokkasi: en |
KLS (keskustelu | muokkaukset) |
||
Rivi 3:
== Aksiomaattinen joukko-oppi ==
Nykyisin eniten tutkittu ja käytetty joukko-opin aksiomaattinen järjestelmä on Zermelo-Fraenkelin aksioomat, lyhenne ZF. Usein [[aksiooma|aksioomien]] joukkoon lisätään myös [[valinta-
# Samuusaksiomi: Kaksi joukkoa ovat samat [[propositiologiikka|jos ja vain jos]] niillä on samat alkiot.
# Tyhjän joukon aksiomi: On olemassa alkioton joukko. Merkitsemme tätä tyhjää joukkoa <math>\{\}</math>.
|