HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Presburger arithmetic
← Back to search

Meaning of Presburger arithmetic | Babel Free

Noun CEFR B2

Definitions

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.

uncountable

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

presbyacousia presbycusis presbylarynx presbyope presbyophagy presbyophrenia

Learn this word in context

See Presburger arithmetic used in real conversations inside our free language course.

Start Free Course