ペアノ算術

ペアノ算術 (Peano arithmetic) は、ペアノの公理によって定義される自然数の理論である。