 Richard Dedekind (1831–1916) was one of the greatest mathematicians of the nineteenth-century, as well as one of the most important contributors to algebra and number theory of all time. Any comprehensive history of mathematics will mention him for his investigation of the notions of algebraic number, field, group, module, lattice, etc., and especially for the invention of his theory of ideals (see, e.g., Dieudonné 1985, Boyer &amp; Merzbach 1991, Stillwell 2000, Kolmogorov &amp; Yushkevich 2001, Wussing 2012). Dedekind’s more foundational work in mathematics is also widely known. Often acknowledged in that connection are: his analysis of the notion of continuity, his introduction of the real numbers by means of Dedekind cuts, his formulation of the Dedekind-Peano axioms for the natural numbers, his proof of the categoricity of these axioms, and his contributions to the early development of set theory (Grattan-Guinness 1980, Ferreirós 1996, 1999, 2016b, Jahnke 2003, Corry 2015).