Abstract
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.
Citation
G. Aldo Antonelli. "A Note on Induction, Abstraction, and Dedekind-Finiteness." Notre Dame J. Formal Logic 53 (2) 187 - 192, 2012. https://doi.org/10.1215/00294527-1715680
Information