# Definition:Principle of Mathematical Induction/Historical Note

## Historical Note on Principle of Mathematical Induction

The first European to use the Principle of Mathematical Induction rigorously in a proof appears to have been Francesco Maurolico, in Arithmeticorum Libri Duo ($1575$).

Further improvements were made by Pierre de Fermat, from which be derived his Method of Infinite Descent.

The Principle of Mathematical Induction appeared again in an adequately rigorous manner by Blaise Pascal in his Traité du Triangle Arithmétique ($1655$).

The phrase mathematical induction appears to have been coined by Augustus De Morgan.

Further discussion of the process can also be found in Induction and Analogy in Mathematics by George Pólya ($1954$).