@MISC{Boucher06arithmeticwithout, author = {Andrew Boucher}, title = {Arithmetic Without the Successor Axiom}, year = {2006} }
Share
OpenURL
Abstract
The Successor Axiom asserts that every number has a successor, or in other words, that the number series goes on and on ad infinitum. The present work investigates a particular subsystem of Frege Arithmetic, called F, which turns out to be equivalent to second-order Peano Arithmetic minus the Successor Axiom, and shows how this system can develop arithmetic up