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