/  
Ja hat man (denn) vor den
Skolemschen Beweisen das associative Gesetz – etwa –, hingenommen ohne den entsprechenden Übergang in einer Zahlenrechnung durch Rechnung
ausführen
begründen
zu können. D.h.: konnte man vorher 5 + (4 + 3) = (5 + 4) + 3 nicht ausrechnen sondern hat es als Axiom betrachtet?