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.