Tautologien/Registeraufzählbar/Aufgabe

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