Robinson arithmetic
Sign in to savefinitely axiomatized fragment of first-order Peano arithmetic that is recursively incompletable (in the sense of Gödel’s incompleteness theorems) and essentially undecidable
Connections
semantic theory of truth
Entity
natural number
Entity
set theory
Entity
mathematical logic
Entity
Peano axioms
Entity
first-order logic
Entity
Springer Science+Business Media
Entity
formal system
Entity
universal quantification
Entity
existential quantification
Entity
recursive set
Entity
interpretation
Entity
semantics of logic
Entity
structure
Entity
axiom schema
Entity
diagram
Entity
ground expression
Entity
mathematics
Entity
logic
Entity
International Standard Book Number
Entity