Robinson arithmetic is a simplified version of Peano arithmetic, omitting the induction axiom schema. It provides a weaker yet still…