Una demostración formal se escribe en lenguaje formal en vez de lenguaje natural.