Un teorema é unha afirmación que pode ser demostrada como verdadeira dentro dun marco lóxico. Demostrar teoremas é o xogo central na matemática.
Un teorema xeralmente posúe un número de condicións que deben ser enumeradas ou aclaradas de antemán e que se denominan resposta. Logo existe unha conclusión, unha afirmación matemática, a cal é verdadeira baixo as condicións nas que se traballa. O contido informativo do teorema é a relación que existe entre a hipótese e a tese ou conclusión.
Chamarase corolario a unha afirmación lóxica que sexa consecuencia inmediata dun teorema, podendo ser demostrada usando as propiedades do teorema previamente demostrado.