Category:証明法

Cantor's diagonal argument

Proof by contradiction

Proof by contrapositive

Reductio ad absurdum

Counterexample

Proof by infinite descent

Natural deduction

Method of analytic tableaux