# 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

**Wikidata**: [Q928884](https://www.wikidata.org/wiki/Q928884)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Robinson_arithmetic)  
**Source**: https://4ort.xyz/entity/robinson-arithmetic


## References

1. Freebase Data Dumps. 2013