[[Lêer:Venn A intersect B.svg|duimnael|regs|'n [[Venn-diagram]] wat die [[kruising (stel teorie)|kruising]] van twee [[Stel (wiskunde)|stelle]] illustreer.]]
'''Stelteorie''' is 'n tak van [[wiskundige logika]] wat studies stelle, wat informeel is versamelings van voorwerpe. Hoewel enige soort voorwerp in 'n vasgestelde vorm versamel kan word, word die vasgestelde teorie dikwels toegepas op voorwerpe wat vir wiskunde betrokke is. Die taal van die stel teoriestelteorie kan gebruik word om byna alalle [[wiskundige voorwerp]]onderwerpe te definieer.
Die moderne studie van gestelde teorie is geïnisieer deur [[Georg Cantor]] en [[Richard Dedesoort]] in die 1830s. Na die ontdekking van [[paradokse van stel teorie|paradokse]] in [[naïefnaïewe stel teorie]]stelteorie, soos [[Russell paradoks]], talle [[Axiomatiese stelsel|axiom stelsels]]aksiomstelsels is voorgestel in die vroeë twintigste eeu, waarvan die [[ZermeloZermelo–Fraenkel – Fraenkel stel teorie|Zermelo – Fraenkel axioms]]aksioms, met of sonder die [[axiomaksiom van keuse]], is die bekendste is.
Stelteorie word algemeen gebruik as 'n grondslagstelsel vir wiskunde, veral in die vorm van Zermelo–Fraenkel stelteorie met die aksioma van keuse. "Stelteorie is die stigtinggrondslag van wiskunde. Alle wiskundige begrippe word gedefinieer in terme van die primitiewe opvattings van set en lidmaatskap. In aksiomatiese stelteorie formuleer ons 'n paar eenvoudige aksiomas oor hierdie primitiewe opvattings in 'n poging om die basiese "natuurlik waar" set-teoretiesestelteoretiese beginsels te vang. Van sulke akomsaksioms, kan alle bekende wiskunde afgelei word. "buitenBuiten sy fundamentele rol, stelis teoriestelteorie 'n tak van [[wiskunde]] in sy eie reg, met 'n aktiewe navorsingsgemeenskap. Kontemporêre navorsing in die stel teoriestelteorie sluit in 'n uiteenlopende versameling onderwerpe, wat wissel van die struktuur van die [[ware nommer]] lyn na die studie van die [[konsekwentheid]] van groot kardinaal.
