Un teorema es una fórmula que se sigue de los axiomas sin hipótesis adicionales, lo cual se escribe formalmente: