Peano arithmetic


Peano arithmetic is a theory.