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).