Especifique axiomas para uma versão equacional da aritmética de Presburger.
Prove o teorema da negação dupla na aritmética de Presburger.
Mostre a lista de lemas na prova completa.