Category:証明法

Natural deduction

Cantor's diagonal argument

Method of analytic tableaux

Proof by contrapositive

Proof by infinite descent

Proof by contradiction

Reductio ad absurdum

Counterexample