Fixpunktsatz/Einstellig/Geradzahlig/Gödelnummern/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Wir setzen

und es sei die Gödelisierung mit Primzahlen vorausgesetzt. Zeige (ohne den Fixpunktsatz zu verwenden), dass es einen Satz mit

gibt.
Eine Lösung erstellen