Téori impunan: Béda antara owahan

Gedhéné ora owah ,  4 taun kepungkur
→‎top: éjaan, replaced: Senajan → Sanajan
(éjaan, replaced: téori → téyori (8), Téori → Téyori (4))
(→‎top: éjaan, replaced: Senajan → Sanajan)
-->
[[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]] sing nyinaoni [[Impunan (matématika)|impunan]], kang ora resminé ya iku kumpulan barang. SenajanSanajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téyori impunan digunakaké paling kerep kanggo obyek sing 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, sing paling misuwur ya iku [[Téyori impunan Zermelo-Fraenkel|aksiom Zermelo-Fraenkel]], nganggo [[aksiom pilihan|aksioma pilihan]].
352.737

besutan