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