The language of Presburger arithmetic contains constants 0 and 1 and a binary function +, interpreted as addition.
Die Sprache der Presburger-Arithmetik enthält Konstanten 0 und 1 sowie eine binäre Operation +, die als Addition zu interpretieren ist.