Développement : Décidabilité de l'arithmétique de Presburger

Détails/Enoncé :

La théorie du premier ordre des entiers munis de l'addition est décidable.

Versions :