Peano arithmetic
Sign in to saveAlso known as PA
axiomatic theory of the arithmetic of nonnegative integers
Wikidata facts
Show 2 more facts
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/peano-arithmetic
- short name
- PA
via Wikidata · CC0
Also known as PA
axiomatic theory of the arithmetic of nonnegative integers
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).