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

Aus Wikiversity


  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 erststufige Peano-Arithmetik ist unvollständig.