Jump to ContentJump to Main Navigation
Reverse MathematicsProofs from the Inside Out$
Users without a subscription are not able to see the full content.

John Stillwell

Print publication date: 2019

Print ISBN-13: 9780691196411

Published to Princeton Scholarship Online: May 2020

DOI: 10.23943/princeton/9780691196411.001.0001

Show Summary Details
Page of

PRINTED FROM PRINCETON SCHOLARSHIP ONLINE (www.princeton.universitypressscholarship.com). (c) Copyright Princeton University Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in PRSO for personal use.date: 26 September 2021

Classical Arithmetization

Classical Arithmetization

(p.26) Chapter 2 Classical Arithmetization
Reverse Mathematics

John Stillwell

Princeton University Press

This chapter describes how one proceeds from natural to rational numbers, then to real and complex numbers, and to continuous functions—thus arithmetizing the foundations of analysis and geometry. The definitions of integers and rational numbers show why questions about them can, in principle, be reduced to questions about natural numbers and their addition and multiplication. This is what it means to say that the natural numbers are a foundation for the integer and rational numbers. But the next steps in the arithmetization project go beyond algebra. By admitting sets of rational numbers, one can enlarge the number system to one that admits certain infinite operations, such as forming infinite sums. This is crucial to building a foundation for analysis. As such, the chapter turns to the foundations of the natural numbers themselves, the “Peano axioms,” which gives a first glimpse of the logic underlying the arithmetization project.

Keywords:   classical arithmetization, arithmetization, Peano axioms, natural numbers, rational numbers, integers, real numbers, complex numbers, continuous functions

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.