This chapter develops the theory of natural numbers based on Dedekind–Peano Axioms, also known as Peano Arithmetic Peano Arithmetic. The basic theory of ratios (positive rational numbers) is also developed. It concludes with a section on formal definition by primitive recursion.
KeywordsNatural Number Successor Function Recursion Equation Peano Arithmetic Equivalent Fraction
- 11.R. Dedekind. The nature and meaning of numbers (1888). In Essays on the Theory of Numbers . English translation of “Was sind und was sollen die Zahlen?”, Vieweg, 1888.Google Scholar
- 47.E. Landau. Foundations of Analysis. Chelsea Publishing Company, 1966.Google Scholar
- 59.G. Peano. The principles of arithmetic, presented by a new method (1889). In From Frege to Gödel , pages 83–97. English translation of “Arithmetices principia, nova methodo exposita”, Turin, 1889.Google Scholar