Reference Terms
from Wikipedia, the free encyclopedia

Mathematical induction

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.

Note:   The above text is excerpted from the Wikipedia article "Mathematical induction", which has been released under the GNU Free Documentation License.
Related Stories

Computers & Math News
May 24, 2017

Latest Headlines
updated 12:56 pm ET