Ist die Frage also nicht: Kann man 4 + (2 + 3) = (4 + 2) + 3 ausrechnen? Wenn ja, so konnte man also von diesem speziellen Zahlensatz einen Beweis geben und es ist klar, daß sich dann eine “Möglichkeit der Weiterführung” einer Reihe solcher Beweise zeigen wird.