En este capítulo, se introduce la inducción matemática, que es una técnica de prueba que es útil para probar declaraciones de la forma (∀n ∈N) P (n), o más generalmente (∀n ∈\(\mathbb{Z}\...En este capítulo, se introduce la inducción matemática, que es una técnica de prueba que es útil para probar declaraciones de la forma (∀n ∈N) P (n), o más generalmente (∀n ∈Z) (n ≥ a =⇒ P (n)), donde P (n) es algún predicado y a ∈Z.