Formal Proof

Humanities & Arts Dictionary
A formal proof is a finite, ordered sequence of well-formed formulas in a specified formal language and proof system such that each formula is either a premise, an axiom of the system, or is obtained from earlier formulas by a rule of inference of that system, and the final formula is the derived conclusion.