Sprache erster Stufe/Symbolaufzählung/Terme/Registeraufzählbar/Aufgabe

Es sei $S$ ein Symbolalphabet mit einer $R$ -Aufzählung der in $S$ vorkommenden Variablen, Konstanten und Funktionssymbole. Zeige, dass es auch eine $R$ -Aufzählung der $S$ -Terme gibt.