Téyori impunan umum digunakaké minangka sistem dhasar kanggo matématika, mligi ing wangun téyori impunan Zermelo-Fraenkel karo aksiom pilihan. Sajabane kagunan dhasaré, téyori impunan iku cawang matématika dhéwé, kanthi masarakat riset kang aktif. Riset kontemporèr saka téyori impunan kalebu topik kang warna-warna, saka struktur garis wilangan réal nganti nyinaoni konsistènsi saka kardhinal gedhé.