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