Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt
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