 Besides where they are in agreement, it is instructive to consider some of the differences between Dedekind and Frege too. First and put in modern terminology, a major difference is that, while Frege’s main contributions to logic concern syntactic, proof-theoretic aspects, Dedekind tends to focus on semantic, model-theoretic aspects. Thus, nothing like Frege’s revolutionary analysis of deductive inference, by means of his “Begriffsschrift”,  can be found in Dedekind’s works. Dedekind, in turn, is much more explicit and clear than Frege about issues such as categoricity, completeness, independence, etc.  This allows, among others, to see him as a precursor of the “formal  axiomatic” approach championed later by Hilbert and Bernays (Hallett 1994, 1995, Sieg &amp; Schlimm 2005, 2014, Sieg 2010, 2014).