Dann hieße es

[(∃x) φx, (∃x, xx) φx(Ƒ) ∙ φ(xx); (∃ –, = x) ≡ ∙ φ ( = x); (∃ –, = x, = xx) ≡ φ( = x) ∙


∙ φ( = xx)]