Teorema

Es una proposición que ha sido demostrada (y puede ser demostrada) formalmente en el contexto de una teoría matemática (sistema axiomático) y mediante las reglas de la lógica formal.