Mathematische Logik/Gemischte Satzabfrage/10/Aufgabe

Formuliere die folgenden Sätze.

1. Der Satz von Wiles (Großer Fermat).
2. Der Satz von Henkin.
3. Der Fixpunktsatz für arithmetische Ausdrücke.

Zur Lösung, Alternative Lösung erstellen