Navigation
Home
Resources
Irregular verbs quizzes English conjugator English-French dictionary French dictionary English dictionary Monolingual dictionaries Scores by institution Free sample tests FAQ Pricing Tourism training Blog Videos
Login Sign up
Blog
Videos
Pricing
FR EN

Presburger arithmetic

noun

Presburger arithmetic

noun

Etymology Introduced in 1929 by Mojżesz Presburger.

1

Human sciences, Logic, Mathematics, Philosophy, Sciences 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.

Related terms
Peano arithmetic

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.