Es seien x1,…,xn{\displaystyle {}x_{1},\ldots ,x_{n}} Variablen, s1,…,sn,t1,…,tn{\displaystyle {}s_{1},\ldots ,s_{n},t_{1},\ldots ,t_{n}} Terme und α{\displaystyle {}\alpha } ein Ausdruck in einer prädikatenlogischen Sprache LS{\displaystyle {}L^{S}}. Zeige, dass
allgemeingültig