Mathematische Logik/Gemischte Satzabfrage/10/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.