También puede decirse que un teorema es una fórmula bien formada que puede ser

demostrada dentro de un sistema formal, partiendo de axiomas u otros teoremas.

Demostrarteoremas es un asunto central en la lógica matemática.
Losteoremas también pueden ser expresados en lenguaje natural formalizado.

DEFINICIÓN DE TEOREMA
Derivada del latín theorema, la palabra teorema consiste en una
proposición que puede ser demostrada de manera lógica a partir de
un axioma o de otros teoremas que fueron demostrados con
anticipación. Este proceso de demostración se lleva a cabo mediante
ciertas reglas de inferencia.