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