/  
„ = 5”, „durch 5 teilbar”, „nicht durch 5 teilbar”, „prim” könnte man arithmetische Prädicate nennen & sagen: Die arithmetischen Prädicate entsprechen immer der Anwendung einer bestimmten allgemein definierten Methode. Man kann ein Prädikat auch so definieren (ξ × 3 = 25) ≝ F(ξ) „F” ist das Prädicat.