Téori impunan: Béda antara owahan

Konten dihapus Konten ditambahkan
Top4Bot (parembugan | pasumbang)
→‎top: éjaan, replaced: werna → warna (2)
Top4Bot (parembugan | pasumbang)
→‎top: ganti isi, replaced: mliginé → mligi, sing → kang (4)
 
Larik 2:
-->
[[Image:Venn A intersect B.svg|thumb|right|A [[Venn diagram]] illustrating the [[intersection (set theory)|intersection]] of two [[set (mathematics)|sets]].]]
'''Téyori impunan''' iku cawang [[logika matématika]] singkang nyinaoni [[Impunan (matématika)|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 singkang cocog kanggo matématika. Basa téyori impunan bisa digunakaké ing ukara salawasé kabèh [[objèk matématika]].
 
Kajian modhèren téyori impunan iki diwiwiti déning [[Georg Cantor]] lan [[Richard Dedekind]] ing 1870-an. Sawisé tinemu [[Paradhoks téyori impunan|paradhoks]] ing [[téyori impunan naif]], akèh sistem aksiom padha diajokaké ing awal abad rong puluh, singkang paling misuwur ya iku [[Téyori impunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]].
 
Téyori impunan umum digunakaké minangka sistem [[Dhasar matématika|dhasar kanggo matématika]], mliginé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 singkang aktif. Riset kontemporèr saka téyori impunan kalebu topik kang warna-warna, saka struktur garis [[wilangan réal]] nganti nyinaoni [[konsistènsi]] saka [[kardinal gedhé|kardhinal gedhé]].
 
==Cathetan==