⨯ /  
ξ 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.