Principio de Inducción Matemática

Un principio de demostración fundamental que afirma que una propiedad P(n) sobre los números naturales es verdadera para todo n∈ℕ si (i) P(0) es verdadera (caso base) y (ii) para todo k se cumple P(k)⇒P(k+1) (cierre por sucesor). Aquí se presenta como el esquema que transforma un razonamiento local en una afirmación universal sobre la secuencia de naturales.

Un esquema de prueba que establece una propiedad para todos los números naturales demostrando un caso base (habitualmente para 0 o 1) y un paso inductivo que muestra: si la propiedad se cumple para un n arbitrario entonces se cumple para n+1.