Mathematics from Nothing: Set Theory, Logic, and the Axioms That Build Mathematics

MATHEMATICS FROM NOTHING
Set Theory, Logic, and the Axioms That Build Mathematics

15 chapters. More than 100 diagrams and illustrations. Every essential proof explained step by step.

Most mathematics courses begin halfway through the story. You are given real numbers, functions, limits, and infinite sets, then asked to prove results about them. But where do these objects come from? What exactly is a number? Why do the real numbers exist? And what does it mean for infinity to be treated as a mathematical object?

This book begins at the foundation—literally with the empty set.

Starting from logic and the basic axioms of set theory, it constructs the natural numbers, integers, rational numbers, and real numbers one step at a time. Each new axiom is introduced only when it is needed, together with an explanation of what it allows us to build and what accepting it commits us to.

The complete construction: ∅ → ℕ → ℤ → ℚ → ℝ

The important proofs are not hidden behind phrases such as “it is easy to show” or “the result follows immediately.” They are written out carefully, with the intermediate steps, diagrams, and intuition needed to understand not only that the argument works, but why.

Yet this is not merely a book about constructing numbers. It is also a book about the choices beneath mathematics.

Every axiom expands what mathematicians are able to prove, but some come with unexpected consequences. The axiom of choice gives us the well-ordering theorem and Zorn’s lemma. It also leads to the Banach–Tarski paradox, in which a sphere can be divided into a small number of pieces and reassembled into two spheres identical to the original.

What do we gain by accepting an axiom? What disappears when we reject it? And how much of modern mathematics depends on principles that cannot themselves be proved?

Inside the book:

• Formal logic from the beginning : propositions, quantifiers, inference, and proof techniques
• Gödel’s incompleteness theorems : why sufficiently powerful formal systems cannot prove every mathematical truth
• Russell’s paradox : the contradiction that forced mathematicians to rebuild the foundations of set theory
• Cantor’s diagonal argument : the proof that some infinities are larger than others
• The construction of the number systems : from natural numbers to integers and rational numbers
• The real numbers : constructed rigorously through Dedekind cuts and Cauchy sequences
• Ordinal and cardinal numbers : arithmetic beyond the finite
• The axiom of choice : its equivalent forms, its uses, and its strangest consequences
• Alternative foundations : constructivism, intuitionism, finitism, and the mathematics that survives under each approach

What makes this book different?

This is neither a conventional set theory textbook nor a dense treatise on mathematical logic. It is a guided journey through the architecture of mathematics. Intuition comes before formalism, major proofs are developed in full, and every foundational principle is presented as a choice with concrete consequences.

Standard textbooks often introduce ZFC set theory as a finished system. This book opens the machinery and shows how the system is assembled: which axioms are needed, what each one contributes, and what mathematics would look like without it.

You do not need to be a professional mathematician. You only need curiosity, patience, and a willingness to follow an argument carefully.

If you have ever wondered where numbers come from, why infinity has different sizes, or whether mathematics is discovered or constructed, this book takes you all the way down to the foundations.