Téori impunan: Béda antara owahan
Konten dihapus Konten ditambahkan
éjaan, replaced: téori → téyori (8), Téori → Téyori (4) |
→top: éjaan, replaced: Senajan → Sanajan |
||
Larik 2:
-->
[[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]]
'''Téyori impunan''' iku cawang [[logika matématika]] sing nyinaoni [[Impunan (matématika)|impunan]], kang ora resminé ya iku kumpulan barang.
Kajian modhèren téyori impunan iki diwiwiti déning [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé tinemu [[Paradhoks téyori impunan|paradhoks]] ing [[téyori impunan naif]], akèh sistem aksiom padha diajokaké ing awal abad rong puluh, sing paling misuwur ya iku [[Téyori impunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]].
|