Mathematische Logik/Gemischte Satzabfrage/15/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz von Wiles (Großer Fermat).
2. Der Vollständigkeitssatz für Tautologien (Prädikatenlogik).
3. Der erste Gödelsche Unvollständigkeitssatz.

Zur Lösung, Alternative Lösung erstellen