Maths›03. Logic and Foundations13.1 Syntax of ProofsFormal structure of proofs, including derivations, inference rules, axioms, and proof representations.