Logik erster Stufe/Ableitungen repräsentierbar/Unvollständig/Fakt/Beweis/Aufgabe

Beweise das Unvollständigkeitslemma.