What is mathematical induction? - Definition from WhatIs.com


mathematical induction

Mathematical induction is a a specialized form of deductive reasoning used to prove a fact about all the elements in an infinite set by performing a finite number of steps. 

In order for mathematical induction to work with an infinite set, that set must be denumerable, meaning that a one-to-one correspondence must exist between the elements of the set in question and the set of positive integers. In other words, it must be possible to express the set in the form an implied list of discrete elements such as {1, 2, 3, 4, ...}.

Consider a denumerably (also called countably) infinite set X with elements x1, x2, x3, x4, and so on. In order to prove a proposition about all the elements of X, we begin by proving that the proposition holds true for x1, the first element in the set X. Then we must prove that if the proposition holds true for some arbitrary element xn in X (where n is a positive integer), then the proposition also holds true for the next element xn+1 in set X. If we can do both of these two things successfully using deductive reasoning, we create an infinite chain of true statements by rigorous logical implication, proving the proposition true for all of the elements in X.

The first explicit formalization of the induction principle was composed by the French mathematician Blaise Pascal in 1665. Mathematical induction should not be confused with inductive reasoning. The former principle is mathematically rigorous (meaning that the conclusions are logically certain), but the latter methodology deals with probability and allows for some uncertainty.

This was last updated in June 2013
Posted by: Margaret Rouse

Related Terms


  • structured data

    - Structured data contrasts with unstructured and semi-structured data. The three can be considered to exist on a continuum, with unstructured data being the least formatted and structured data being... (WhatIs.com)

  • spreadmart (spreadsheet data mart)

    - A spreadmart (spreadsheet data mart) is a situation in which a company's employees has inconsistent views of corporate data because each department relies on the data from their own spreadsheets. (SearchBusinessAnalytics.com)

  • user behavior analytics (UBA)

    - User behavior analytics (UBA) is a process in which security teams use monitoring tools to track, collect and assess the network activities of all individuals accessing those system to detect poten... (SearchSecurity.com)


  • Business intelligence - business analytics

    - Terms related to business intelligence, including definitions about business analytics and words and phrases about gathering, storing, analyzing and providing access to business data.

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question About mathematical inductionPowered by ITKnowledgeExchange.com

Get answers from your peers on your most technical challenges

Tech TalkComment



    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.