Category:証明法

Reductio ad absurdum

Natural deduction

Counterexample

Method of analytic tableaux

Proof by contrapositive

Proof by contradiction

Cantor's diagonal argument

Proof by infinite descent