= Presburger arithmetic
{wiki=Presburger_arithmetic}
Presburger arithmetic is a formal system that encompasses the first-order theory of the natural numbers with addition. It is named after the mathematician Mojżesz Presburger, who introduced it in 1929. The key features of Presburger arithmetic are: 1. **Language**: The language of Presburger arithmetic includes the symbols for natural numbers (usually represented as \\(0, 1, 2, \\ldots\\)), the addition operation (often represented as \\(+\\)), and equality.
Back to article page