Fixpunktsatz/Einstellig/Tautologie/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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 .
Zur gelösten Aufgabe