 The solution of this conundrum lies in the fact that Dedekind did not even implicitly work with first-order formalizations of the basic principles of arithmetic and analysis. Instead, he informally worked with second-order formalizations.