Ang set theory ay isang sangay ng mathematical logic na nag-aaral ng mga set, na impormal na mga koleksyon ng mga bagay. Bagama't ang anumang uri ng bagay ay maaaring kolektahin sa isang set, ang teorya ng set ay madalas na inilalapat sa mga bagay na may kaugnayan sa matematika. Ang wika ng set theory ay maaaring gamitin upang tukuyin ang halos lahat ng mga bagay sa matematika. Ang modernong pag-aaral ng set theory ay pinasimulan nina Georg Cantor at Richard Dedekind noong 1870s.