ペアノの公理とはなんですか？

A. ペアノの公理とは、自然数の全体を特徴づける公理であり、自然数の全体は、0 と 1 のみからなる集合であるという前提に基づいています。具体的には、以下のような公理が成り立ちます。 ・自然数全体の集合は、空でない集合である。 ・自然数全体の集合は、空集合（つまり、0 と 1 のみからなる集合）と、1 より大きな自然数全体の集合の和として表すことができる。 ペアノの公理は、数学の基礎となる基本的な公理の一つであり、数学の様々な分野において広く用いられています。

参考URL:https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86