Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt/Name

Der Fixpunktsatz für arithmetische Ausdrücke.