Category:証明法

Proof by contradiction

Natural deduction

Method of analytic tableaux

Reductio ad absurdum

Counterexample

Proof by infinite descent

Proof by contrapositive

Cantor's diagonal argument