Notre Dame Journal of Formal Logic

A Note on Induction, Abstraction, and Dedekind-Finiteness

G. Aldo Antonelli


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.

Article information

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

arithmetic induction neologicism


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.

Export citation


  • Antonelli, G. A., "The nature and purpose of numbers", The Journal of Philosophy, vol. 107 (2010), pp. 191–212.
  • Antonelli, G. A., "Notions of invariance for abstraction principles", Philosophia Mathematica. Series III, vol. 18 (2010), pp. 276–92.
  • Antonelli, G. A., "Numerical abstraction via the Frege quantifier", Notre Dame Journal of Formal Logic, vol. 51 (2010), pp. 161–79.
  • Boolos, G., "For every ${A}$ there is a ${B}$", Linguistic Inquiry, vol. 12 (1981), pp. 465–66.
  • Floyd, R. W., and R. Beigel, The Language of Machines. An Introduction to Computability and Formal Languages, Computer Science Press, New York, 1994.
  • Linnebo, Ø., "Predicative fragments of Frege arithmetic", Bulletin of Symbolic Logic, vol. 10 (2004), pp. 153–74.