La inducción matemática es un método de prueba matemática que generalmente se usa para establecer que una afirmación dada es verdadera para todos los números naturales.
El método puede extenderse para probar afirmaciones sobre estructuras bien fundadas más generales, como los árboles; esta generalización, conocida como inducción estructural, se usa en lógica matemática y ciencias de la computación.
De hecho, la validez de la inducción matemática es lógicamente equivalente al principio de buen orden.