Se supone que la definición de demostración formal está para capturar el concepto de la demostración tal como se escribe en la práctica de la matemática.