Prädikatenlogik/Ausdrücke/Aufzählungsverfahren/Aufgabe
Beschreibe ein Verfahren, das alle prädikatenlogischen Ausdrücke ausgibt
(dabei sei vorausgesetzt, dass die Variablen, die Konstanten, die Relationssymbole und die Funktionssymbole in einer aufgezählten Form vorliegen).