El concepto de una demostración se formaliza en el campo de la lógica matemática.