Según la axiomática de Peano la adición en el conjunto de los "n" números naturales se definen por estas dos condiciones: