ペアノの公理
自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。