Ja, hat man (denn﹖) vor dem Skolem'schen Beweisen das assoziative Gesetz – z.B. – hingenommen, ohne den entsprechenden Übergang 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?