Meanings
nounPresburger arithmetic (uncountable)
- uncountablehuman sciencesA 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.
Origin
Introduced in 1929 by Mojżesz Presburger.
Full word history & related roots →Cite this entry
APA
Presburger arithmetic. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/Presburger%20arithmetic
MLA
“Presburger arithmetic.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Presburger%20arithmetic. Accessed November 3, 2026.
Chicago
WatkinsX Dictionary, s.v. “Presburger arithmetic,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/Presburger%20arithmetic.
Source: Presburger arithmetic on Wiktionary, CC BY-SA 4.0.