En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable formula_1 que toma una infinidad de valores enteros.