What is " N " ?
Dedekind proved in his 1888 book , " What are numbers and what should they be " ( ) that any two models of the Peano axioms ( including the second - order induction axiom ) are isomorphic .