En lógica proposicional y de primer orden, cualquier afirmación demostrada se denomina teorema.