Looks like Presburger Arithmetic [1] versus Peano Arithmetic [2]. [1] - https://en.wikipedia.org/wiki/Presburger_arithmetic https://en.wikipedia.org/wiki/Presb

Looks like Presburger Arithmetic [1] versus Peano Arithmetic [2]. [1] - https://en.wikipedia.org/wiki/Presburger_arithmetic https://en.wikipedia.org/wiki/Presburger_arithmetic [2] - https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms