>自然数という呼び名は必要ない

ペアノの自然数公理も非負整数公理と呼ぶ気なのか