Arithmetische Satzmenge/Repräsentierungen/Fixpunktsatz/Fakt/Beweis/Aufgabe

Beweise den Fixpunktsatz der Prädikatenlogik.