Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition/Begriff