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