Ich sagte ich bestimmte eine algebraische Zeichenregel „in Übereinstim-
mung” mit den Gestetzen der Arithmetik. Aber muß ich da nicht (schon) einen allgemeinen Bgriff 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?