Number systems: an axiomatic foundation for algebra,
number theory, and analysis
This course carefully and rigorously develops several number systems
including the set of natural numbers N, the ring of integers Z, the ring
of integers modulo m, the field of rational numbers Q, the field of real numbers R,
and the field of complex numbers C. This course has been taught
for several years by Wayne Aitken and Linda Holt
as Math 378 at Cal State San Marcos.
A major purpose of this course is to illustrate the axiomatic method. As such
it will emphasize careful proof in a mostly familiar setting.
Another purpose is to develop a strong but accessible foundation for higher mathematics.
This course develops foundational ideas needed for
more advanced courses
including Abstract Algebra, Analysis, Number Theory.
This course follow a long tradition of developing the number systems axiomatically
starting with Dedekind, Cantor, and Peano.
Some notable precursors that were consulted include the following:
The Number Systems: Foundations of Algebra and Analysis,
by Solomon Feferman
Foundations of Analysis, by Edmund Landau
Basic proficiency with logic, proofs, set theory,
functions (injective, surjective, bijective, inverses), and relations (order relations and equivalence relations).
At CSUSM, this precursory material is covered in Math 350, but a good discrete mathematics course
might have much of the needed material.
I recommend the following textbook in order to get prepared for this course:
How to Prove It: A Structured Approach
Daniel J. Velleman
Cambridge University Press (2nd Edition)
Summer 2019 version
This course has been evolving since 2007.
What follows is the Summer 2019 version of the course.
(The early drafts were written by Wayne Aitken. Later
versions from around 2013 on were cowritten by Wayne Aitken and Linda Holt).
Peano's Axioms. Natural Numbers N.
Order in N
Cardinality and Counting (Further exploration of N)
The construction of the integers Z.
Modular arithmetic (including the
ring of integers modulo n, the field of integers mod p).
The field Q (and ordered fields in general).
Sequences and limits in ordered fields.
The ideas of completeness and continuity for ordered fields.
The official construction of the real numbers using Cauchy sequences.
The Complex numbers C.
Appendix A: Chapter 0. Background: logic and set theory.
Appendix B. Further exploration