Es seien x,y,u,v{\displaystyle {}x,y,u,v} Variablen und Γ={∀x∀y(x=y)}{\displaystyle {}\Gamma =\{\forall x\forall y{\left(x=y\right)}\}} und Δ={x=y}{\displaystyle {}\Delta =\{x=y\}}.