A 

Aritmética de Presburger é uma teoria de primeira-ordem dos números naturais com

soma. Tem esse nome em honra de Mojżesz Presburger, o qual a apresentou em 1929. A
assinatura da aritmética de Presburguer contém apenas a operação de adição e
equalização, suprimindo a operação de multiplicação totalmente. Isso inclui o esquema de
indução.