Introduction


Authors
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 through Gauss' Quadratic Reciprocity Law. It then goes on to represent questions of provability in F, and shows that F can prove its own consistency and indeed the consistency of stronger systems. So, arithmetic without the Successor Axiom has an exceptional combination of three chracteristics: it is natural, it is strong, and it proves its own, as well as stronger systems’, consistency.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,363
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Enlightenment Liberalism and the Challenge of Pluralism.Matthew Jones - 2012 - Dissertation, Canterbury Christ Church University

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
492 ( #15,205 of 62,327 )

Recent downloads (6 months)
1 ( #457,259 of 62,327 )

How can I increase my downloads?

Downloads

My notes