Es seien x 1 , x 2 {\displaystyle {}x_{1},x_{2}} Variablen, t 1 , t 2 {\displaystyle {}t_{1},t_{2}} Terme und α {\displaystyle {}\alpha } ein Ausdruck in einer prädikatenlogischen Sprache. Zeige, dass