Image by Pexels on Pixabay · Pixabay License
Presburger arithmetic
Sign in to savefirst-order theory of the natural numbers with addition
Wikidata facts
- Instance of
- axiomatic system
- Named after
- Mojżesz Presburger
Show 2 more facts
- has characteristic
- decidability
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0