A rigorous, step-by-step argument that demonstrates why a specific statement must be true Intro to Proofs Direct Proof Proof By Cases Proof by Contradiction Proof by Contraposition Induction Strong Induction