>>274違います。
ペアノの公理で自然数の組<Ｎ、ｆ、0>を定義したあとに加法を導入しています。