 The neo-Fregean revival began in earnest with  Wright.[37]  Wright (1983) sought to derive the Dedekind-Peano axioms for successor arithmetic from what was called N= and has since come to be known as Hume’s Principle (that is, Parsons’s principle (A) above): 