Abstract
In the preface to Principia Mathematica, it is stated that “what were formerly taken, tacitly or explicitly, as axioms, are either unnecessary or demonstrable” .1 In this spirit, we shall in this chapter define the natural numbers as the finite cardinals, and derive Peano’s Postulates from an Axiom of Infinity. We then establish those results about natural numbers and recursive functions which we need in order to establish the incompleteness results in Chapter 7.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Peter B. Andrews
About this chapter
Cite this chapter
Andrews, P.B. (2002). Formalized Number Theory. In: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Applied Logic Series, vol 27. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9934-4_7
Download citation
DOI: https://doi.org/10.1007/978-94-015-9934-4_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6079-2
Online ISBN: 978-94-015-9934-4
eBook Packages: Springer Book Archive