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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. Es seien und Dedekind-Peano-Modelle für die natürlichen Zahlen. Dann gibt es eine eindeutig bestimmte bijektive Abbildung

    mit und

    für alle .
  2. Es sei ein Symbolalphabet, eine Menge an -Ausdrücken und ein weiterer -Ausdruck. Dann gilt genau dann, wenn gilt.
  3. Es sei eine arithmetische Ausdrucksmenge, die widerspruchsfrei und aufzählbar sei und Repräsentierungen erlaube. Dann ist unvollständig.