ペアノの公理
現在ペアノの公理系として知られる形のものが発表されたのは 1891年の「数の概念について」である。