Category:Mathematical proofs

This category includes articles on basic topics related to mathematical proofs, including terminology and proof techniques.

Related categories:

• Pages which contain only proofs (of claims made in other articles) should be placed in the subcategory Category:Article proofs.
• Pages which contain theorems and their proofs should be placed in the subcategory Category:Articles containing proofs.
• Articles related to automatic theorem proving should be placed in Category:Automated theorem proving.
• Articles on proof theory should be placed in Category:Proof theory.

See Wikipedia:WikiProject Mathematics/Proofs for additional discussion.

Subcategories

This category has the following 7 subcategories, out of 7 total.

A ► Article proofs‎ (27 P) ► Articles containing proofs‎ (395 P) ► Automated theorem proving‎ (3 C, 31 P)

M ► Mathematical induction‎ (1 C, 8 P) P ► Proof techniques‎ (1 P) ► Proof theory‎ (5 C, 87 P)

P cont. ► Proof without words‎ (7 P)

Pages in category "Mathematical proofs"

The following 37 pages are in this category, out of 37 total. This list may not reflect recent changes (learn more).

Mathematical proof B Back-and-forth method Bijective proof C Cantor's diagonal argument Combinatorial proof Commutative diagram Conditional proof Constructive proof D Direct proof Double counting (proof technique) E Elementary proof Equalization (proof) I Proof by infinite descent

L Law of large numbers List of long proofs List of mathematical proofs List of incomplete proofs M Mathematical fallacy Mathematical induction Minimal counterexample O Of the form Original proof of Gödel's completeness theorem P Probabilistic method Probabilistic proofs of non-probabilistic theorems Probabilistically checkable proof Proof by contradiction

P cont. Proof by contrapositive Proof by exhaustion Proof by intimidation Proof of impossibility Proof sketch for Gödel's first incompleteness theorem Proof without words Proofs from THE BOOK Q Q.E.D. S Structural induction T Tombstone (typography) Turing's proof