Formal proof

In a formal deductive system, a step-by-step demonstration of the truth of a claim followingfrom a set of premises. (See also Proof.)