Kajian modhèren téyori impunan iki diwiwiti déning Georg Cantor lan Richard Dedekind ing 1870-an. Sawisé tinemu paradhoks ing téyori impunan naif, akèh sistem aksiom padha diajokaké ing awal abad rong puluh, kang paling misuwur ya iku aksiom Zermelo-Fraenkel, nganggo aksioma pilihan.