本日の豆知識
イタリアの数学者であるペアノが考案した自然数の公理系のことを「ペアノの公理」という。自然数を5つの条件で定義している。また「1+1=2」の証明時に使われる。