[[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]]
'''Téori impunan''' iku cawang [[logika matématika]] sing nyinaoni [[HimpunanImpunan (matématika)|impunan]], kang ora resminé ya iku kumpulan barang. Senajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téori impunan digunakaké paling kerep kanggo obyek sing cocog kanggo matématika. Basa téori impunan bisa digunakaké ing ukara salawasé kabèh [[objèk matématika]].
Kajian modhèren téori impunan iki diwiwiti déning [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé ditemokaké [[Paradhoks téori himpunanimpunan|paradhoks]] ing [[téori himpunan naif|téori impunan naif]], akèh sistem aksiom padha diajokaké ing awal abad rong puluh, sing paling misuwur ya iku [[Téori himpunanimpunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]].
Téori impunan umum digunakaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], utamané ing wangun [[téori himpunan Zermelo-Fraenkel|téori impunan Zermelo-Fraenkel]] karo aksiom pilihan. Sajabane kagunan dhasaré, téori impunan iku cawang matématika dhéwé, kanthi masarakat riset sing aktif. Riset kontemporèr saka téori impunan kalebu topik kang werna-werna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé|kardhinal gedhé]].
==Cathetan==
Larik 30:
{{Bidang matematika}}
{{Artikel Dhasar}}
[[Kategori:Téori himpunanimpunan| ]]<!--Keep first (eponymous category)-->
