Téyori impunan iku cawang logika matématika kang nyinaoni impunan, kang ora resminé ya iku kumpulan barang. Sanajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téyori impunan digunakaké paling kerep kanggo obyek kang cocog kanggo matématika. Basa téyori impunan bisa digunakaké ing ukara salawasé kabèh objèk matématika.

A Venn diagram illustrating the intersection of two sets.

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.

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é.

Cathetan

besut

Wacan luwih lanjut

besut

Pranala njaba

besut
 
Wikibooks
Wikibooks gadhah buku kanthi sesirah
 
Wikibooks
Wikibooks gadhah buku kanthi sesirah

Cithakan:Babagan matematika

 
Wikipedia
Artikel punika, artikel dhasar ingkang kedah dipundarbèni sadaya basa.