[escepticos] RE: [escepticos] Soy crédulo, era: No soy escéptico (César)

["David Sanchez" <davius_sanctex@...>]

>Como que 0+1=1 y para todo n  + 1 = (n+1)  ;-)

>Ayudaaaa, a ver, algún matemático que me defina la operación suma, por
favor, que
>me he metido en un jardín.

Qué tal así:
Axioma: todo número natural n tiene un siguiente s(n) [vulgarmente n + 1;
( ) es inyectiva.]
La suma m + n = f(m,n) se definiría así:

a) 0 + m := f(0,m) = m
b) (m + s(n)) := f(m,s(n)) = s(f(m,n)) = s(m + n)

b) define recursivamente la suma de dos enteros a partir de la operación
( ) y la suma de dos
números menores que los de partida.