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