Fixpunktsatz/Einstellig/Tautologie/Aufgabe/Lösung
Erscheinungsbild
Es sei eine in der arithmetischen Sprache formulierbare prädikatenlogische Tautologie ohne freie Variable, beispielsweise . Dann ist insbesondere und nach Voraussetzung ist auch . Also ist auch .