Mathematische Logik/Gemischte Satzabfrage/17/Aufgabe/Lösung


  1. Es sei eine Menge an -Ausdrücken (über einem Symbolalphabet ), die maximal widerspruchsfrei ist und Beispiele enthält. Dann ist die durch die kanonische Termidentifizierung gegebene Interpretation ein Modell für .
  2. Die Menge

    ist nicht

    -entscheidbar.
  3. Die Menge der wahren arithmetischen Ausdrücke (ohne freie Variablen) ist nicht -entscheidbar.