Mathematische Logik/Gemischte Definitionsabfrage/21/Aufgabe