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

El número entero tiene la propiedad . El hecho de que cualquier número entero también tenga la propiedad  implica que también la tiene. Entonces todos los números enteros a partir de tienen la propiedad .