 But from a purely logical point of view, the two methods seem equally sound; and it is to be remembered that, with the logical theory of cardinals, both Peano’s and Dedekind’s axioms become demonstrable. (Russell 1903, §241)