Arithmetische Beweise für Gleichungen
Geben Sie Axiome für eine gleichungsbezogene Version der Presburger-Arithmetik an.
Beweisen Sie das Theorem der doppelten Verneinung in der Presburger-Arithmetik.
Zeigen Sie die Liste der Lemmata im vollständigen Beweis an.