Several types of proofs are widely used, such as [[Reductio Ad Absurdum | 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 do not rely on distant fields of maths are sometimes called [[elementary proof | elementary proofs]].
−
are sometimes called [[elementary proof | elementary proofs]].