Table of Contents

Chapter 1. Basic Facts and Notions of Logic and Set Theory 1.1 Logical Connectives 1.2 Conditionals 1.3 Biconditionals 1.4 Quantifiers 1.5 Sets 1.6 Membership. Equality and Inclusion of Sets 1.7 The Empty Set 1.8 Union and Intersection 1.9 Difference and Complement 1.10 Power Set 1.11 Arbitrary Unions and Intersections 1.12 Ordered Pairs 1.13 Cartesian Product 1.14 Relations 1.15 Inverse and Composition of Relations 1.16 Reflexivity, Symmetry, and Transitivity 1.17 Equivalence Relations 1.18 Functions 1.19 Functions from A into (Onto) B 1.20 One-One Functions 1.21 Composition of Functions 1.22 Operations Chapter 2. The Natural Numbers 2.1 Peano Systems 2.2 The Iteration Theorem 2.3 Application of the Iteration Theorem: Addition 2.4 The Order Relation 2.5 Multiplication 2.6 Exponentiation 2.7 Isomorphism, Categoricity 2.8 A Basic Existence Assumption Supplementary Exercises Suggestions for Further Reading Chapter 3. The Integers 3.1 Definition of the Integers 3.2 Addition and Multiplication of Integers 3.3 Rings and Integral Domains 3.4 Ordered Integral Domains 3.5 Greatest Common Divisor, Primes 3.6 Integers Modulo n 3.7 Characteristic of an Integral Domain 3.8 Natural Numbers and Integers of an Integral Domain 3.9 Subdomains, Isomorphisms, Characterizations of the Integers Supplementary Exercises Chapter 4. Rational Numbers and Ordered Fields 4.1 Rational Numbers 4.2 Fields 4.3 Quotient field of an Integral Domain 4.4 Ordered Fields 4.5 Subfields. Rational Numbers of a Field. Chapter 5. The Real Number System 5.1 Inadequacy of the Rationals 5.2 Archimedean Ordered Fields 5.3 Least Upper Bounds and Greatest Lower Bounds 5.4 The Categoricity of the Theory of Complete Ordered Fields 5.5 Convergent Sequences and Cauchy Sequences 5.6 Cauchy Completion. The Real Number System 5.7 Elementary Topology of the Real Number System 5.8 Continuous Functions 5.9 Infinite Series Appendix A. Equality Appendix B. Finite Sums and the Sum Notation Appendix C. Polynomials Appendix D. Finite, Infinite, and Denumerable Sets. Cardinal Numbers Appendix E. Axiomatic Set Theory and the Existence of a Peano System Appendix F. Construction of the Real Numbers via Dedekind Cuts Appendix G.Complex Numbers Bibliography Index of Special Symbols Index