 It is clear from Frege’s Preface to his Begriffsschrift (at pp. IX–X) that he shared Dedekind’s methodological concerns, and that he had an eventual logicist treatment of arithmetic in his sights when devising his concept script. Frege distinguished two kinds of truths that require a Begründung (justification): those whose proofs could proceed purely logically; and those which had to be supported by experiential facts (Erfahrungsthatsachen). And he sought to inquire how far one could succeed in capturing arithmetic by means only of inferences based on the laws of thought that transcend all particularities (“durch Schlüsse allein …, nur gestützt auf die Gesetze des Denkens, die über allen Besonderheiten erhaben sind”). He made it clear that he wished to get at the root concept of ordering in a series, and to advance from there to the concept of number. Then comes this unmistakeable echo of Dedekind: 