¿Podemos demostrar 1≠2 utilizando métodos intuicionistas? Es trivial de demostrar convencionalmente a partir de los axiomas de Peano, pero parece requerir una prueba por contradicción.
Usted asume S(0)=S(S(0)) se obtiene la contradicción 0=S(0)∧0≠S(0) . ¿No es esto una prueba por contradicción?