Aber wenn es heißt || ich höre „aus B folgt A”, so möchte man || ich fragen: „was folgt?” Daß a + (b + c) gleich (a + b) + c ist, ist ja eine Festsetzung, wenn es nicht auf normale Weise aus einer Gleichung folgt.