任意のm,n∈Nに対してf_m(n)をm,nの「和」とよび、「m+n」と書く(この時点では我々のなかの「当たり前」、例えばm+n=n+mのような法則が成り立つかどうかはまだ未知である。それをこれから確認していく)。条件(A1)(A2)によって
@ m+0=m
A m+s(n)=s(m+n)
である。またNの恒等写像も明らかに(A1)(A2)を満たすから、全てのnに対して
B 0+n=n
である。さらに少々面倒な計算の後
C s(m)+n=s(m+n)
も導ける。これら@からCによって、我々の「当たり前」すなわち「交換律」m+n=n+m、「結合律」(l+m)+n=l+(m+n)という、自然数に於けるもっとも基本的な法則を導くことが出来る。すなわち