Kann man nicht oben statt den letzten zwei || drei Sätzen auch die folgenden schreiben:
      (∃x,y) ∙ (∃φ)

Genügt oben nicht der erste Satz (∃x,y,φ) φx.~φy ∙ x ≠ y?
Die Schwierigkeit der Identifizierung kann man dadurch wegschaffen indem man die ganze Welt in einem allgemeinen Satz beschreibt welcher anfängt: „(∃x,y,z … φ,ψ …RS || etc.)” und nun folgt das logische Produkt || ein logisches Produkt , aus etc.