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|ein] logisches Product, aus etc.