Category

• Arts
• Biography
• Geography
• History
• Mathematics
• Science
• Society
• Technology
• All portals

Category: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 5 subcategories, out of 5 total.

A

• Article proofs
• Articles containing proofs
• Automated theorem proving

P

• Proof theory

T

• Theorem proving software systems

Pages in category "Proofs"

The following 36 pages are in this category, out of 36 total. Updates to this list can occasionally be delayed for a few days.

• Mathematical proof

B

• Back-and-forth method

C

• Cantor's diagonal argument
• Combinatorial proof
• Commutative diagram
• Conditional proof
• Constructive proof

D

• Direct proof
• Double counting (proof technique)

E

• Elementary proof
• Existence theorem

G

• Gödel's completeness theorem

I

• Infinite descent
• Invalid proof

K

• König's lemma

L

• Law of large numbers
• List of mathematical proofs

M

• Mathematical induction
• Minimal counterexample

N

• Nonconstructive proof

O

• Of the form
• Original proof of Gödel's completeness theorem

P

• Probabilistic method
• Proof by exhaustion
• Proof by intimidation

P cont.

• Proof by verbosity
• Proof of impossibility
• Proof sketch for Gödel's first incompleteness theorem
• Proof that 22/7 exceeds π
• Proof that e is irrational
• Proofs from THE BOOK

Q

• Q.E.D.

R

• Reductio ad absurdum

S

• Structural induction

T

• Tombstone (typography)
• Turing's proof

Link former page on this page

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• http://wikipedia.atpedia.jp/wiki/%E9%BA%BB%E5%A9%86%E8%B1%86%E8%85%90

• http://wikipedia.atpedia.jp/wiki/%E7%94%9F%E4%B9%B3

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

• [[wikipedia@pedia]] 0

Related word on this page

Pages  theo 

Related Shopping on this page

Pages  theo