 In earlier sections we considered Dedekind’s overtly foundational works. This led to a discussion of the logicist and metaphysical structuralist views emerging in them. In the last few sections, the focus shifted to his other mathematical contributions and the methodological structuralism they embody. Now we are in a position to provide a more explicit and systematic elaboration of the latter. Beyond just calling Dedekind’s approach set-theoretic, infinitary, and non-constructive, the methodology that informs it can be analyzed as consisting of three parts.