Tipos:
Base: Se demuestra que. es cierta, esto es el primer valor que cumple la proposición (iniciación de la inducción).
Paso inductivo: Se demuestra que, si es cierta, esto es, como hipótesis inductiva, entonces lo es también, y esto sin condición sobre el entero natural (relación de inducción.