ペアノの公理で、
２の定義は
１＋１そのものだろう。