Dann kann man z.B. schreiben:


      (3)xφx ∙ (4)xψx ∙ ~(∃x) φx ∙ ψx ⊃ φψ(3 + 4)x ∙ φx ⌵ ψx
Dieser Ausdruck ist nicht dasselbe wie die Ersetzungsregel 3 + 4 = 7.