Prädikatenlogik/Leere Variablenmenge/Gleichheit/Symmetrie/Aufgabe

Es sei ein Symbolalphabet einer prädikatenlogischen Sprache mit einer leeren Variablenmenge. Zeige, dass man für Terme im Allgemeinen nicht ableiten kann.