ペアノの公理
and so on. The set N together with 0 and the successor function satisfies the Peano axioms.