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