See pages 107 and following of Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics by José Ferreirós (2008).
- Dedekind and the set-theoretical approach
- The algebraic origins of Dedekind's set theory, 1856-58
- A new fundamental notion for algebra: fields
- The emergence of algebraic number theory
- Ideals and methodology
- Dedekind's infinitism
- The diffusion of Dedekind's views
For an analysis of the proof itself, see Notes on Richard Dedekind’s "Was sind und was sollen die Zahlen?" by David Joyce (2005).