Fixpunktsatz/Einstellig/Tautologie/Aufgabe
Es sei eine arithmetische Ausdrucksmenge und ein einstelliges Prädikat mit
für alle . Zeige, dass es einen Satz mit
Es sei eine arithmetische Ausdrucksmenge und ein einstelliges Prädikat mit
für alle . Zeige, dass es einen Satz mit