Die Variable x {\displaystyle {}x} ist in ∀ x α {\displaystyle {}\forall x\alpha } nicht frei. Daher ist die Menge der relevanten zu substituierenden Variablen leer und somit auch die Menge der substituierenden Terme. Also ist v = x {\displaystyle {}v=x} und daher