Changes

A mathematical proof is a step-by-step demonstration of the truth of a mathematical theorem. Proofs build on [[axiom | axioms]], which are statements that are assumed to be true without proof, as well as previously-proved [[theorem | theorems]].

A mathematical proof is a step-by-step demonstration of the truth of a mathematical theorem. Proofs build on [[axiom | axioms]], which are statements that are assumed to be true without proof, as well as previously-proved [[theorem | theorems]].

Several types of proofs are widely used, such as [[proof by contradiction | proof by contradiction]]

Several types of proofs are widely used, such as [[Reductio Ad Absurdum | proof by contradiction]]

and [[proof by induction | proof by induction]]. Proofs that rely only on certain simple forms of reasoning

and [[proof by induction | proof by induction]]. Proofs that rely only on certain simple forms of reasoning

are sometimes called [[elementary proof | elementary proofs]].  

are sometimes called [[elementary proof | elementary proofs]].