Akademik
Presburger arithmetic
noun
A set of axioms of
first-order logic
for the
natural numbers
specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
Wikipedia foundation
.