Peano arithmetic
Sign in to saveAlso known as PA
axiomatic theory of the arithmetic of nonnegative integers
Wikidata facts
- Instance of
- theory
- Subclass of
- arithmetic
Show 5 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/peano-arithmetic
- uses
- Peano axioms
- short name
- PA
- does not have characteristic
- decidability
via Wikidata · CC0