Ejercicio 1.

Sea

S=¿

1. 0 ∈ S.

Para k = 0, la implicación

0 ≠ 0 →∃ n∈ N : 0=n +¿¿ es verdadera.

¿
Antecedente falso (contradicción)

Consecuente falso (por A.3)

Luego 0 ∈ S.

2. Supóngase que k ≠ 0. Para todo k per S

Por hipótesis de inducción: k ≠ 0 →∃ n ∈ N :k=n+¿¿

Por modus ponendo ponens, entonces ∃n ∈ N : k=n +¿¿.

k =n+¿ ¿

k + ¿=¿¿+