Foro de Práctico

1. Considerá una propiedad $P$ definida sobre los naturales que cumpla las hipótesis del principio de inducción completa. Es decir, cumple el paso base y el paso inductivo.
2. Suponé por absurdo que no cumple la tesis, es decir que existe algún natural mayor o igual al del paso base que no cumple la propiedad. 
3. Considerá el conjunto $A$ de los naturales mayores o iguales al del paso base que no cumplen la propiedad. Por 2. es no vacío y por el principio de buen orden tiene mínimo.
4. Concluir que lo anterior lleva a un absurdo.

Si no se entendió algo o no te sale no dudes en volver a preguntar.

Saludos,

Gabriel