Kuntateoria on matematiikan osa-alue, joka tutkii kuntien ominaisuuksia.