Systems for a foundation of arithmetic
| Authors | |
| Abstract |
A new second-order axiomatization of arithmetic, with Frege's definition of successor replaced, is presented and compared to other systems in the field of Frege Arithmetic. The key in proving the Peano Axioms turns out to be a proposition about infinity, which a reduced subset of the axioms proves
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Strength of Nonstandard Methods in Arithmetic.C. Ward Henson, Matt Kaufmann & H. Jerome Keisler - 1984 - Journal of Symbolic Logic 49 (4):1039-1058.
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik.Richard G. Heck - 1993 - Journal of Symbolic Logic 58 (2):579-601.
Analytics
Added to PP index
2009-01-28
Total views
402 ( #12,422 of 2,260,175 )
Recent downloads (6 months)
1 ( #905,492 of 2,260,175 )
2009-01-28
Total views
402 ( #12,422 of 2,260,175 )
Recent downloads (6 months)
1 ( #905,492 of 2,260,175 )
How can I increase my downloads?
Downloads
