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
Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.