Ontify

⌘S

Peano Arithmetic

PA

Axiomatic theory of the arithmetic of nonnegative integers.

Wikipedia logo

Wikipedia | Peano Arithmetic

Statements about Peano Arithmetic

Subclass Of

Arithmetic

Instance Of

Theory

Stack Exchange Tag

https://proofassistants.stackexchang ...

Uses

Peano Axioms

Short Name

PA
Powered byWikidataWikidata

External Pages About Peano Arithmetic

Google Knowledge Graph ID

Google Knowledge Graph

Google Knowledge Graph ID

Google Knowledge Graph

Encyclopedia of China (Third Edition) ID

Encyclopedia of China (Third Edition)