Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es una actividad central en matemáticas. Un teorema generalmente posee un número de condiciones que deben ser enumeradas o aclaradas de antemano y que se denominan hipótesis. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones en las que se trabaja. El contenido informativo del teorema es la relación que existe entre la hipótesis y la conclusión.
Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es una actividad central en matemáticas. Un teorema generalmente posee un número de condiciones que deben ser enumeradas o aclaradas de antemano y que se denominan hipótesis. Luego existe una conclusión, una afirmación matemática, la cual es verdadera bajo las condiciones en las que se trabaja. El contenido informativo del teorema es la relación que existe entre la hipótesis y la conclusión.