 The concept of proof is formalized in the field of mathematical logic.A formal proof is written in a formal language instead of a natural language.A formal proof is a sequence of formulas in a formal language, starting with an assumption, and with each subsequent formula a logical consequence of the preceding ones.