Peano arithmetic

E353625 UNEXPLORED

Peano arithmetic is a formal first-order axiomatic system that captures the basic properties of the natural numbers and underpins much of modern mathematical logic and number theory.

Observed surface forms (2)

Surface form	Occurrences
Peano axioms	2
Peano arithmetic (under standard assumptions)	1

Referenced by (6)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gödel's incompleteness theorems → appliesTo → Peano arithmetic ⓘ

Tarski's undefinability theorem → appliesTo → Peano arithmetic ⓘ

Zermelo set theory → consistentRelativeTo → Peano arithmetic ⓘ

this entity surface form: Peano arithmetic (under standard assumptions)

Giuseppe Peano → developed → Peano arithmetic ⓘ

this entity surface form: Peano axioms

Giuseppe Peano → notableWork → Peano arithmetic ⓘ

this entity surface form: Peano axioms

Gödel's incompleteness theorems → relatedTo → Peano arithmetic ⓘ