BibTeX
@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
