 Chapter 25 of Tennant (1987), titled “On deriving the basic laws of arithmetic: Or, how to Frege–Wright a Dedekind-Peano”, provides detailed formal derivations of the Dedekind-Peano axioms, within a free, intuitionistic relevant logic. All the derivations given are intuitionistic, in conformity with the anti-realist aspirations explained above, and in order to warrant the adjective ‘constructive’ in the phrase ‘constructive logicism’. 