Ian Stewart addresses the transition from intuitive calculations to the formal logical structures required for modern degree-level mathematics. He outlines the development of set theory as the primary language for defining numbers, functions, and relations. The text explains Zermelo-Fraenkel axioms, the significance of the Axiom of Choice, and the rigor of mathematical induction. By moving from naive counting to the construction of real and complex number systems, the book demonstrates how mathematicians prove the consistency of their internal tools through formal logic and structural definitions.
This work serves undergraduate students and self-taught learners who need to bridge the gap between solving equations and writing formal proofs. Readers use this text to understand why certain operations work and how to construct valid logical arguments. Upon finishing, the reader possesses a foundational grasp of mathematical rigor, allowing them to engage with abstract algebra and real analysis without relying on visual intuition or unverified assumptions about the nature of infinity and sets.
- Published
- 1977
- Language
- EN
