The definition of a formal proof is intended to capture the concept of proofs as written in the practice of mathematics.
A definición de demostración formal tende a captar o concepto das demostracións tal como se escriben na práctica das matemáticas.