Category
page 1Formal theories of arithmetic
Peano axioms
axiomatic system for the natural numbers
Presburger arithmetic
first-order theory of the natural numbers with addition
Robinson arithmetic
finitely axiomatized fragment of first-order Peano arithmetic that is recursively incompletable (in the sense of Gödel’s incompleteness theorems) and essentially undecidable
non-standard model of arithmetic
model of (first-order) Peano arithmetic that contains non-standard numbers
Typographical Number Theory
axiomatic system
Heyting arithmetic
axiomatization of arithmetic
elementary function arithmetic
system of arithmetic in proof theiry