Robinson arithmetic

E1090019 UNEXPLORED

Robinson arithmetic is a weak formal system of arithmetic that captures basic properties of the natural numbers but is strictly weaker and less expressive than full Peano arithmetic.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Robinson arithmetic canonical	1

Referenced by (1)

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

Peano arithmetic → isStrongerThan → Robinson arithmetic ⓘ