Trouvez des preuves d'équation en arithmétique
Précisez les axiomes pour une version équationnelle de l'arithmétique de Presburger.
Prouvez le théorème de la double négation dans l'arithmétique de Presburger.
Affichez la liste des lemmes dans l'épreuve complète.