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