ペアノの公理
ペアノの公理（ペアノのこうり、） とは、自然数全体を公理化したものである。1891年に、ジュゼッペ・ペアノによって定義された。