Fixpunktsatz/Einstellig/Geradzahlig/Gödelnummern/Aufgabe

Aus Wikiversity

Wir setzen

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

gibt.