Hola, no entiendo como abordar este ejercicio, les agradezco si me pueden dar un arranque.
Hola Camilo.
La idea es la siguiente:
La idea es la siguiente:
- Considerá una propiedad 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.
- 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.
- Considerá el conjunto 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.
- 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