No, the question is about showing that "mathematical laws have remarkable generalisation power", and it is supposed to be an answer to Wigner's puzzle, which inherently is about the possibilities of what physics could be and why mathematics should even have anything to do with it. Wigner isn't asking for a mathematical derivation. He's raising a philosophical point.

@user21820 I think you have misunderstood my answer. The fact that ACA was designed to model real-world counting is a sociological explanation for why that particular form of mathematics is useful as opposed to some other form of mathematics (see my last paragraph). However, that sociological explanation does not explain why any maths at all should be useful i.e. why should there even be such a thing as "real-world number counting". That's what makes it circular.