Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Fixpunktsatz

Es sei eine Menge von arithmetischen Ausdrücken, die Repräsentierungen erlaube.

Dann gibt es zu jedem einen Satz mit

Zum Beweis, Alternativen Beweis erstellen