Category:証明法

Cantor's diagonal argument

Method of analytic tableaux

Proof by contrapositive

Counterexample

Proof by contradiction

Reductio ad absurdum

Proof by infinite descent

Natural deduction