Fixpunktsatz/Einstellig/Tautologie/Aufgabe/Lösung


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 .