A formal system of rules and instructions for use in the construction of formal proofs.