Definition:Peano Arithmetic

From ProofWiki
Jump to navigation Jump to search

Definition

Peano arithmetic is the form of number theory based on Peano's axioms.


Also see

  • Results about Peano arithmetic can be found here.


Source of Name

This entry was named for Giuseppe Peano.


Sources