En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable ${\displaystyle n\,}$ que toma una infinidad de valores enteros. En términos simples, la inducción matemática consiste en el siguiente razonamiento:

Dado un número entero ${\displaystyle a\,}$ que tiene la propiedad ${\displaystyle P\,}$, y el hecho de que si hasta cualquier número entero ${\displaystyle n\,}$ con la propiedad ${\displaystyle P\,}$ implique que ${\displaystyle n+1\,}$ también la tiene, entonces, los números enteros a partir de ${\displaystyle a\,}$ tienen la propiedad ${\displaystyle P\,}$.

La demostración está basada en el axioma denominado principio de la inducción matemática.^[1]​