Word.ws English Dictionary

Presburger arithmetic

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.

Noun

Presburger arithmetic (uncountable)

  1. 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.

Origin of Presburger arithmetic

Introduced in 1929 by Mojżesz Presburger.

Questions about Presburger arithmetic

What does Presburger arithmetic mean?
Presburger arithmetic means 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.
What part of speech is Presburger arithmetic?
Presburger arithmetic is a noun.

Words near Presburger arithmetic in the dictionary

  1. presaturation
  2. presaturations
  3. Presb.
  4. Presburg
  5. Presburger
  6. Presburger arithmetic
  7. Presby
  8. presby-
  9. presbyacousia
  10. presbyacusis
  11. presbycusis

Source and license

Adapted from Wiktionary: Presburger arithmetic (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Presburger arithmetic.” Word.ws, https://word.ws/presburger_arithmetic. Based on Wiktionary, CC BY-SA 4.0.