“ = 5”, “durch 5 teilbar”, “nicht durch 5 teilbar”, “prim” könnte man arithmetische Prädikate nennen und sagen: Die arithmetischen Prädikate entsprechen immer der Anwendung einer bestimmten allgemein definierten Methode. Man kann ein Prädikat auch so definieren (n × 3 = 25) = F(n) Def.