Teórico de Inducción y recursión

Hola.
El otro día en teórico discutimos eso.

Hay que probar que no cumple conn ninguna.

Supongamos que tenemos los naturales y queremos probar que $0.5 \notin \mathbb{N}$.

Formalmente, lo que se prueba es el siguiente teorema:

T) $\mathbb{N} = \mathbb{N} - \{0.5\}$

Para probar esto, se verifica que el conjunto $\mathbb{N} - \{0.5\}$ cumple con las reglas de $\mathbb{N}$

Prueben hacerlo que no es difícil.

Saludos
FDO.