Proof

In Logic, the formal demonstration of the validity of a deductive argument.

The derivation of validity through a formal process of deduction.