Un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal , partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados de una forma natural.