 The doctrine of logicism had its first glimmerings in the writings of Dedekind, but it really only came to full flowering in the work of Frege. In Dedekind’s work, the ideas were presented in a form accessible to his contemporaries in the mathematical community. Precise and rigorous though those ideas were, they nevertheless enjoyed a relatively informal presentation. No one had yet come up with the idea of formal deductive systems of logic adequate for formalizing the mathematical reasoning of their day; so no logicist thesis in Dedekind’s day could be formulated in the way that is now familiar to us. Matters were different, of course, with Frege, for his crowning achievement was a formal deductive system of logic by reference to which a logicist thesis could at last be expressed. 