Proof

A proof is a step-by-step demonstration that one statement (the conclusion) follows logically from some others (the premises). A formal proof is a proof given in a formal system of deduction; an informal proof is generally given in ordinary language, without the benefit of a formal system.