en que es teorema
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, noción y otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado.