Es sei S {\displaystyle {}S} ein Symbolalphabet einer prädikatenlogischen Sprache mit einer leeren Variablenmenge. Zeige, dass man für Terme s , t {\displaystyle {}s,t} im Allgemeinen s = t → t = s {\displaystyle {}s=t\rightarrow t=s} nicht ableiten kann.
