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
Wikidata facts
- Instance of
- axiomatic system
- Named after
- Raphael M. Robinson
Show 1 more fact
- does not have characteristic
- decidability
Sources (1)
via Wikidata · CC0