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