Category:証明法

Proof by contradiction

Cantor's diagonal argument

Proof by infinite descent

Natural deduction

Reductio ad absurdum

Proof by contrapositive

Counterexample

Method of analytic tableaux