„ξ ist ein Glied zwischen a & b” würde so geschrieben:
„aRξ ∙ ξRb . ⌵ . (∃x) ∙ aRξ ∙ ξRx ∙ xRb . ⌵ . (∃x)aRx ∙ xRξ ∙ ξRb . ⌵ . (∃xy) etc.” Aber mit Hilfe dieser Funktion könnte ich nicht das sagen was ich mit „es gibt 2 Glieder zwischen a & b” meine. Denn schreibe ich zur Abkürzung die obige Funktion so: „aR–ξ–Rb”,
so würde der Satz lauten (∃x,y) || nach dem Muster (∃x,y) φx ∙ φy lauten: (∃xy) ∙ aR–x–Rb ∙ aR–y–Rb. Nennen wir z.B. diese beiden Gegenstände c & d dann ist der Satz auch richtig wenn es wahr ist daß aRc ∙ cRb ∙ aRd ∙ dRb auch das ist offenbar nicht was gemeint war.