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.