Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 53, Number 2 (2012), 187-192.
A Note on Induction, Abstraction, and Dedekind-Finiteness
The purpose of this note is to present a simplification of the system of arithmetical axioms given in previous work; specifically, it is shown how the induction principle can in fact be obtained from the remaining axioms, without the need of explicit postulation. The argument might be of more general interest, beyond the specifics of the proposed axiomatization, as it highlights the interaction of the notion of Dedekind-finiteness and the induction principle.
Notre Dame J. Formal Logic, Volume 53, Number 2 (2012), 187-192.
First available in Project Euclid: 9 May 2012
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 03A99: None of the above, but in this section
Antonelli, G. Aldo. A Note on Induction, Abstraction, and Dedekind-Finiteness. Notre Dame J. Formal Logic 53 (2012), no. 2, 187--192. doi:10.1215/00294527-1715680. https://projecteuclid.org/euclid.ndjfl/1336588249