Discusión:Números naturales/La suma

Propiedades de la suma

Tengo un~poco de confusión acerca de la exposición.

Se describe la suma diciendo que es una operación ... pero nunca se define formalmente la suma. En la lección anterior se indicaban propiedades corrsepondientes a los axiomas de Peano. Si denotamos por $n^{+}$ al sucesor de $n$, podríamos definir la suma como

$m+0:=0,m+n^{+}:=(m+n)^{+}$

Si no se desea un aspecto tan formal, entonces para qué introduir la noción de "sucesor"? Rehernan (discusión) 00:03 12 jul 2025 (UTC)