Category:証明法

Counterexample

Reductio ad absurdum

Proof by contrapositive

Natural deduction

Proof by infinite descent

Method of analytic tableaux

Cantor's diagonal argument

Proof by contradiction