Formal proof

Definition
A formal proof is

"[a] complete and convincing mathematical argument, presenting the full logical justification for each proof step, for the truth of a theorem or set of theorems."