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