Image by Pexels on Pixabay · Pixabay License
Presburger arithmetic
Sign in to savefirst-order theory of the natural numbers with addition
Connections
first-order logic
Entity
mathematical induction
Entity
International Standard Book Number
Entity
Q15777
Entity
algorithm
Entity
natural number
Entity
prime number
Entity
addition
Entity
multiplication
Entity
computer program
Entity
digital object identifier
Entity
OCLC, Inc.
Entity
divisor
Entity
Technical University of Munich
Entity
bibcode
Entity
Q118398
Entity
Gödel's incompleteness theorems
Entity
modular arithmetic
Entity
Alfred Tarski
Entity
relation
Entity