Zum Inhalt springen

Fixpunktsatz/Einstellig/Tautologie/Aufgabe/Lösung

Aus Wikiversity


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 .