# Arithmetic Certainty

# Arithmetic Certainty

This chapter considers the idea that we have certainty in our basic arithmetic knowledge. The claim that arithmetical knowledge enjoys certainty cannot be extended to a similar claim about number theory “as a whole.” It is thus necessary to distinguish between elementary number theory and other, more advanced, levels in the study of numbers: algebraic number theory, analytic number theory, and perhaps set-theoretic number theory. The chapter begins by arguing that the axioms of Peano Arithmetic are true of counting numbers and describing some elements found in counting practices. It then offers an account of basic arithmetic and its certainty before discussing a model theory of arithmetic and the logic of mathematics. Finally, it asks whether elementary arithmetic, built on top of the practice of counting, should be classical arithmetic or intuitionistic arithmetic.

*Keywords:*
certainty, basic arithmetic, arithmetical knowledge, number theory, Peano Arithmetic, counting numbers, counting practice, logic, classical arithmetic, intuitionistic arithmetic

Princeton Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us.