Es seien r , s 1 , … , s n , t 1 , … , t n {\displaystyle {}r,s_{1},\ldots ,s_{n},t_{1},\ldots ,t_{n}} Terme einer prädikatenlogischen Sprache L S {\displaystyle {}L^{S}} und seien x 1 , … , x n {\displaystyle {}x_{1},\ldots ,x_{n}} verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes r {\displaystyle {}r} die Ableitbarkeit
Terme einer
prädikatenlogischen Sprache
und seien 
verschiedene Variablen. Zeige durch Induktion über den Aufbau des Termes 
die Ableitbarkeit
