Wie ist es aber mit einer Definition wie a + (b + 1) = (a + b) + 1 Def. Dies ist nicht als Regel zum algebraischen Rechnen gemeint sondern als Hilfsmittel zur Erklärung von arithmetischen Ausdrücken. Sie stellt eine Operation dar, die ich auf jedes beliebige Zahlenpaar anwenden kann.