Formal proofs

It involves using logical deductions to systematically demonstrate the truth of a claim.