Man könnte in der Logik auch eine Aufgabe in den Worten stellen: “Konstruiere den Satz …” – statt “Beweise den Satz …”