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 sowieso nicht anwenden. [Ich brauche also nicht erst irgend welche Beschreibung ihrer Anwendung.]