Fixpunktsatz/Einstellig/Geradzahlig/Gödelnummern/Aufgabe
Wir setzen
und es sei die Gödelisierung mit Primzahlen vorausgesetzt. Zeige (ohne den Fixpunktsatz zu verwenden), dass es einen Satz mit
Wir setzen
und es sei die Gödelisierung mit Primzahlen vorausgesetzt. Zeige (ohne den Fixpunktsatz zu verwenden), dass es einen Satz mit