Ich sagte ich bestimmte eine algebraische Zeichenregel „in Übereinstimmung”
mit den Gesetzen der Arithmetik. Aber muß ich da nicht (schon) einen allgemeinen Begriff dieser Übereinstimmung haben? Und dann gewinne ich also doch den algebraischen Satz nach bestimmten Regeln aus den arithmetischen Sätzen. Und heißt das nicht, ihn beweisen?