Getting Past the Introductory Jargon
I picked up The Foundations Of Mathematics Ian Stewart about four years ago when I realized I had been fumbling through introductory proof-based courses without actually understanding why the machinery worked the way it did. Most people treat the first few chapters as busywork. That is a mistake. Stewart walks you through formal logic, set theory, and the axiomatic method, and then he lets you actually see how the whole thing hangs together. The book is roughly 250 pages and moves at a pace that assumes you have seen some calculus but does not demand anything beyond that. Stewart does not just hand you definitions. He builds up from propositional logic and predicate logic into set theory, then moves toward the real number system and the concept of mathematical proof itself. The sections on ZFC axioms are the ones most students skip, but they are the part that changes how you read everything else. Once you see how the axioms of infinity and replacement work, induction stops feeling like a trick and starts feeling like something you can actually trace back to first principles. I ran into a specific problem recently while tutoring someone on constructing proofs by contradiction. They kept arriving at statements that looked wrong but technically were not violations of anything. Stewart's treatment of logical equivalence and the law of excluded middle in chapter 2 is what finally let me explain why their reasoning was valid even when the intermediate steps felt alien. The workaround in practice is just going back and rewriting each step as an explicit application of a logical rule instead of treating the whole chain as one intuition. It takes longer but it catches the errors that usually hide in plain sight.
How to use this book without wasting time
Do not read it cover to cover in one sitting. The first three chapters move fast but the exercises are where the actual learning happens. I spent about two weeks on chapters 1 through 3 doing every odd-numbered problem, and that routine alone made my later coursework significantly easier. The chapters on set theory and cardinality in the second half of the book are denser. You will want to pause after each section and rewrite the definitions in your own words. If you cannot reconstruct the axiom of choice from memory, you have not internalized it yet. There is a practical pacing suggestion that works for most people. Read one chapter per week. Do the exercises. If you get stuck on a proof for more than an hour, move on and come back later. The concepts tend to click after you have seen them from a different angle in a subsequent section. The book is written so that later examples reuse earlier material, and that deliberate repetition is intentional. Some readers find it repetitive. I find it necessary.
Where The Foundations Of Mathematics Ian Stewart falls short
The book is not a reference text. It does not cover category theory, model theory, or advanced proof techniques beyond the standard undergraduate level. If your goal is to prepare for graduate-level mathematical logic, you will need something heavier afterward. Stewart also glosses over some of the historical and philosophical debates around foundational systems. He mentions intuitionism and formalism in passing but does not dive deep. That is fine if you want a practical introduction. It is not fine if you are looking for a philosophy of mathematics survey. Another limitation is the exercise difficulty curve. The early problems are straightforward applications. Then chapter 5 drops you into questions about countable versus uncountable sets that assume you have already internalized several abstract concepts. Students who skip the setup work struggle here. The book does not provide worked solutions for most problems, which means you will need access to a course or a study group if you are self-teaching. That is not a flaw in the book itself. It is just a constraint of how it is structured. If you want something more rigorous on the same topics, Enderton's A Mathematical Introduction to Logic covers the material with more formal depth. If you want something lighter, maybe pick up a pop-math title and save Stewart for when you actually need to build proofs from scratch. The Foundations Of Mathematics Ian Stewart is best treated as a bridge between computational mathematics and genuine proof-based reasoning. It does exactly that job, provided you respect the pacing and put in the exercise time.
Get the Full Details
You can find used copies fairly cheaply, and the newer editions add a few minor updates to the notation sections. The core content has not changed. It is still the same solid introduction it was when it first came out, and it remains one of the more accessible texts for people who need to learn how mathematics actually rests on its foundations rather than just computing within them.
