Die arithmetischen Sätze dienen, wie Multiplikationstabellen und dergleichen, oder auch wie Definitionen, auf deren beiden Seiten nicht ganze Sätze stehen, zur Anwendung auf die Sätze. Und auf etwas Anderes kann ich sie ja so wie so nicht anwenden. (Ich brauche also nicht erst irgendwelche Beschreibung ihrer Anwendung.]