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