A European Informational Website
learn more
Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers. The method can be extended to prove statements about more general well-founded structures, such as trees; this generalization, known as structural induction, is used in mathematical logic and computer science. Indeed, the validity of mathematical induction is logically equivalent to the well-ordering principle.