Nehmen wir z.B. an die Welt bestünde aus den Dingen A und B und der Eigenschaft F und es wäre F(A) wahr || der Fall und nicht F(B).
Diese Welt könnten wir auch durch die folgenden Sätze beschreiben:
      (∃x,y) . (∃φ) . x ≠ y . φx.~φy. ¤ φu . φz . ⊃ . u = z       (∃φ).(ψ).ψ = φ
     (∃x,y).(z).z = x ⌵ z = y
Und hier braucht man auch Sätze von der Art der letzten zwei nur die Gegenstände identifizieren zu können.