Frege and the logicist tradition establish that the justificatory ground of arithmetic lies in logic...