5˙005342
¤ Alle Sätze – z.B. – der Reihe: aRb,(∃x) ∙ aRx ∙ xRb,(∃x,y) ∙ aRx ∙ xRy ∙ yRb, u.s.w. sind durch eine formale Eigenschaft charakterisiert.