Do you know what it takes to mathematically prove that 1 + 1 equals 2? Not just accept it as obvious—but actually prove it from first principles using nothing but logic? Principia Mathematica by Alfred North Whitehead and Bertrand Russell does exactly that. And it takes roughly 362 pages to get there.
Principia Mathematica (1910–1913) is a three-volume, 2,500-page masterpiece of symbolic logic that attempted the most ambitious project in intellectual history: to prove that all of mathematics is nothing but logic in disguise.
Written by two Cambridge philosophers, it introduced the theory of types to resolve paradoxes, developed a revolutionary notation that influenced everything from computer science to analytic philosophy, and famously proved that 1 + 1 = 2—after hundreds of pages of dense symbolism. It is simultaneously one of the most influential books of the 20th century and one of the least read.
Principia Mathematica is best for:
- Philosophy students and academics who want to understand the foundations of mathematics
- Logicians and mathematicians interested in the history of formal systems
- Readers who enjoy intellectual challenges and don’t mind wrestling with dense symbolism
- Anyone curious about why 1 + 1 = 2 actually requires proof
- Those who want to understand the intellectual context that led to Gödel’s incompleteness theorems
Not for:
- Casual readers looking for an accessible introduction to logic or mathematics
- Anyone expecting a breezy, narrative-driven philosophical work
- Readers who prefer modern notation and clear exposition
- Those without patience for 2,500 pages of symbolic reasoning
- People who want to learn mathematics from the book—as G.H. Hardy noted, perhaps only “twenty or thirty people in England may be expected to read this book”
Table of Contents
1. Introduction
Principia Mathematica (three volumes, 1910–1913) by Alfred North Whitehead (1861–1947) and Bertrand Russell (1872–1970). Published by Cambridge University Press. Second edition: 1925–1927. Abridged edition (to *56) published in 1962.
Whitehead was a mathematician and philosopher who later became a major figure in process philosophy. Russell was a philosopher, logician, and social critic—one of the most influential thinkers of the 20th century.
Together, they produced a work that stands alongside Aristotle’s Organon and Frege’s Basic Laws of Arithmetic as one of the most influential books on logic ever written.
Context
Principia Mathematica is a foundational text in mathematical logic and the philosophy of mathematics. It sets forth the thesis of logicism: the claim that all mathematical truths can be reduced to logical truths, and all mathematical proofs can be expressed as logical proofs.
The book was instrumental in developing and popularizing modern mathematical logic and served as a major impetus for research in the foundations of mathematics throughout the 20th century.
Purpose
The central argument of Principia Mathematica is stated by Russell in the opening of his 1903 Principles of Mathematics: “the proof that all pure mathematics deals exclusively with concepts definable in terms of a very small number of fundamental concepts, and that all its propositions are deducible from a very small number of fundamental logical principles”.
The book aimed to demonstrate that mathematics is rooted in logic—that mathematical concepts and reasoning could be defined using purely logical terms, without relying on any non-logical mathematical axioms.
2. Background
To understand why Whitehead and Russell spent a decade writing 2,500 pages of symbolic logic, we need to understand the crisis that mathematics faced at the turn of the 20th century.
The Foundations Crisis
By the late 1800s, mathematicians had made extraordinary progress. Bernard Bolzano, Niels Abel, Louis Cauchy, and Karl Weierstrass had eliminated much of the vagueness and many of the contradictions present in mathematical theories of their day.
William Hamilton had introduced ordered couples of reals as the first step in supplying a logical basis for complex numbers. Weierstrass, Richard Dedekind, and Georg Cantor had all developed methods for founding irrationals in terms of rationals.
Giuseppe Peano had developed a theory of the rationals based on his now-famous axioms for the natural numbers. By Frege’s day, it was generally recognized that a large portion of mathematics could be derived from a relatively small set of primitive notions.
Russell’s Paradox
Then came the bombshell. In June 1901, Russell discovered a paradox that would shake the foundations of mathematics. When he informed Whitehead of his discovery, the response was a telegram quoting Browning: “Never glad confident morning again”.
Russell’s paradox is deceptively simple. Consider the class of all classes that are not members of themselves. Is this class a member of itself? If it is, then it isn’t; if it isn’t, then it is. This contradiction struck at the heart of set theory and Frege’s logical system.
The paradox demonstrated that naive set theory—the idea that any definable collection of objects forms a set—leads to contradiction. As the authors themselves explain in the Introduction, “the class of all classes which are not members of themselves” leads to the conclusion that “w is a w” is equivalent to “w is not a w”.
The Logicism Project
Logicism—the idea that all of mathematics can be reduced to logic—had been advocated in the late 17th century by Gottfried Leibniz and developed in much greater detail by Gottlob Frege. Frege’s Basic Laws of Arithmetic (1893–1903) was the most ambitious attempt to carry out this project. But Russell’s paradox showed that Frege’s system was inconsistent.
Whitehead and Russell had both been working on related projects: Whitehead’s 1898 A Treatise on Universal Algebra and Russell’s 1903 The Principles of Mathematics. Their research overlapped considerably, so they began collaboration on what was eventually to become Principia Mathematica.
The Financial Struggle
The collaboration lasted almost a decade. When they finally delivered their 2,500-page manuscript to Cambridge University Press, the Press concluded that publishing Principia would result in an estimated loss of approximately 600 pounds.
The Press agreed to assume half this amount, and the Royal Society donated another 200 pounds. That still left a 100-pound deficit.
Each author contributed 50 pounds to see their work through to publication. As Russell later remarked, “We thus earned minus fifty pounds each for ten years’ work”.
3. Principia Mathematica Summary
Let me be honest: I haven’t read all 2,500 pages. Few have. But I’ve spent enough time with this monumental work—and enough time studying what it actually contains—to give you a comprehensive tour of its contents.
By the end of this section, you’ll understand the book well enough that you might not need to read it yourself. (Though if you’re a philosopher or logician, you probably should.)
Volume I: Mathematical Logic
The first volume establishes the logical foundation upon which everything else is built. It contains:
Part I, Section A: The Theory of Deduction
This section sets up the propositional calculus—the logic of “and,” “or,” “not,” and “if…then.” The authors start with primitive ideas (undefined concepts) and primitive propositions (assumptions that are not proved).
The primitive ideas include:
- Elementary propositions (propositions containing no variables)
- Elementary propositional functions
- The assertion sign “⊢” (meaning “it is true that”)
- Negation (“∼p”)
- Disjunction (“p ∨ q,” meaning “p or q”)
The primitive propositions include:
- ∗1.2: “⊢ : p ∨ p . ⊃ . p” (if p or p is true, then p is true)—the principle of tautology
- ∗1.3: “⊢ : q . ⊃ . p ∨ q” (if q is true, then p or q is true)—the principle of addition
- ∗1.4: “⊢ : p ∨ q . ⊃ . q ∨ p”—the principle of permutation
- ∗1.5: “⊢ : p ∨ (q ∨ r) . ⊃ . q ∨ (p ∨ r)”—the associative principle
- ∗1.6: “⊢ : q ⊃ r . ⊃ : p ∨ q . ⊃ . p ∨ r”—the principle of summation
From these five primitive propositions—plus the rule of inference (∗1.1 and ∗1.11) and the axioms about types—the authors derive the entire edifice of propositional logic.
The definition of implication is crucial:
- ∗1.01: “p ⊃ q . = . ∼ p ∨ q Df”.
This means “p implies q” is defined as “either p is false or q is true.” This is material implication—a concept that has been both celebrated and criticized ever since.
Part I, Section B: Theory of Apparent Variables
This section introduces quantifiers—”all” (universal quantification) and “some” (existential quantification). The notation is:
- “(x) . φx” means “φx is always true”
- “(∃x) . φx” means “φx is sometimes true”.
The authors define:
- ∗9.04: “(x) . φx . ∨ . p” means “(x) . (φx ∨ p)”
- ∗9.05: “p . ∨ . (x) . φx” means “(x) . (p ∨ φx)”
As the authors explain, “When a general proposition occurs as part of another, it is said to have limited scope”. This careful handling of scope is one of the technical innovations of Principia.
Part I, Section C: Classes and Relations
This section introduces the theory of classes (sets) and relations. The authors treat classes as “incomplete symbols”—symbols that have no meaning in isolation but only in use.
The key definitions include:
- ∗20.01: “f {ẑ(φz)} . = . (∃ψ) : φx . ≡x . ψ!x : f {ψ!ẑ} Df”
This defines what it means to say something about a class. The class “ẑ(φz)” is the class of objects satisfying φz. The definition says: to assert f about this class is to assert that there exists a predicative function ψ that is formally equivalent to φ, and f holds for ψ.
The membership relation is defined:
- ∗20.02: “x ∈ ψ!ẑ . = . ψ!x Df”
This leads to the crucial result:
- ∗20.3: “⊢ : x ∈ ẑ(φz) . ≡ . φx”
That is, x is a member of the class determined by φ exactly when φx is true.
Part I, Section D: Logic of Relations
This section introduces the theory of relations—a major innovation. The authors develop concepts that have become standard in mathematics and computer science:
- Domains and converse domains (∗33)
- Relative products (∗34): “R|S” means the relation that holds between x and z when there is a y such that xRy and ySz
- Converses of relations (∗31)
- Descriptive functions (∗30)
Part I, Section E: Products and Sums of Classes
This section extends the notions of addition and multiplication to infinite collections. As the authors explain, “The advantage obtained by this extension is that it enables us to deal with an infinite number of summands or factors”
Volume II: Prolegomena to Cardinal Arithmetic
Part II: Prolegomena to Cardinal Arithmetic
This is where the famous proof of 1 + 1 = 2 appears. But before getting there, the authors must define what numbers are.
Section A: Unit Classes and Couples
- ∗51: Unit classes (classes with exactly one member)
- ∗52: The cardinal number 1
- ∗54: Cardinal couples (classes with exactly two members)
- ∗56: The ordinal number 2
Section B: Sub-Classes, Sub-Relations, and Relative Types
This section deals with the hierarchy of types—the authors’ solution to the paradoxes.
Section C: One-Many, Many-One, and One-One Relations
These are relations that are functional in one or both directions—the foundation for the concept of function.
Section D: Selections
This introduces the axiom of choice (called the “multiplicative axiom” in Principia), which states that given any class of non-empty mutually exclusive classes, there exists a class containing exactly one member from each.
Section E: Inductive Relations
This introduces the ancestral relation—the foundation for mathematical induction. The definition is:
- ∗90.01: “x R∗ y” means y has every hereditary property possessed by x.
Volume III: Cardinal Arithmetic and Series
Part III: Cardinal Arithmetic
This part develops the theory of cardinal numbers—finite and infinite. The authors define:
- Cardinal numbers as classes of similar classes
- Addition and multiplication of cardinals
- Finite and infinite cardinals
- The theory of the finite (mathematical induction)
Part IV: Relation-Arithmetic
This develops the theory of ordinal numbers and well-ordered series.
Part V: Series
This develops the general theory of series—ordered sets of any kind.
The Famous Proof: 1 + 1 = 2
Perhaps the most famous result in Principia Mathematica is the proof that 1 + 1 = 2. This appears in ∗110·643, and the authors famously remark: “The above proposition is occasionally useful”.
What does it actually take to prove 1 + 1 = 2?
First, you must define what “1” means. In Principia, the number 1 is defined as the class of all unit classes—classes with exactly one member.
Second, you must define what “2” means—the class of all classes with exactly two members.
Third, you must define addition of cardinal numbers.
Fourth, you must prove that the sum of two unit classes (with no overlap) is a class with exactly two members.
This requires hundreds of pages of preliminary definitions and theorems. The proof is not just about arithmetic—it’s about showing that arithmetic can be derived from logic alone.
The Theory of Types
The most distinctive feature of Principia Mathematica is the theory of types, introduced to avoid the paradoxes.
The vicious-circle principle states: “Whatever involves all of a collection must not be one of the collection”. More formally: “If, provided a certain collection had a total, it would have members only definable in terms of that total, then the said collection has no total”.
The theory of types creates a hierarchy:
- Individuals are the lowest type—things that are neither propositions nor functions
- First-order functions are functions of individuals
- Second-order functions are functions of first-order functions
- And so on
A function cannot take as argument anything of the same or higher type. This prevents self-reference and thus avoids paradoxes.
The axiom of reducibility states that for any function, there is a formally equivalent predicative function (a function of the lowest possible order). The authors admit this axiom is not self-evident: “That the axiom of reducibility is self-evident is a proposition which can hardly be maintained”. But they argue it’s justified by its consequences: “the inductive evidence in its favour is very strong, since the reasonings which it permits and the results to which it leads are all such as appear valid”.
4. Principia Mathematica Analysis
The Achievement
Principia Mathematica is, by any measure, a monumental achievement. It was “the first book to show clearly the close relationship between mathematics and formal logic”. Starting from a minimal number of axioms, Whitehead and Russell display the structure of both kinds of thought.
The book introduced a notation that has influenced logic, mathematics, and computer science ever since. As the authors explain in the Introduction: “The symbolic form of the work has been forced upon us by necessity: without its help we should have been unable to perform the requisite reasoning”.
The theory of types—though later modified and simplified—was a genuine solution to the paradoxes that had threatened the foundations of mathematics. As the authors state: “Some form of the doctrine of types must be adopted if the contradictions were to be avoided”.
The Limitations
But Principia also has significant limitations.
First, the axiom of reducibility is deeply problematic. As the authors themselves admit, it is not self-evident. Later logicians have generally rejected it as ad hoc—a technical fix introduced solely to make the system work.
Second, the book is extraordinarily difficult to read. As Russell himself confessed: “I imagine no human being will ever read it through”. Even professional logicians rarely work their way through the whole thing.
Third, Gödel’s incompleteness theorems (1931) showed that the logicist project—as formulated in Principia Mathematica—cannot succeed. Any consistent formal system powerful enough to express arithmetic contains true propositions that cannot be proved within the system.
Gödel even titled his paper “On Formally Undecidable Propositions of Principia Mathematica and Related Systems”.
Fourth, the theory of types, as formulated in Principia, is cumbersome and difficult to work with. The “ramified” theory of types—with its distinction between predicative and non-predicative functions—was later simplified to the “simple” theory of types, which is still used in some contexts today.
The Legacy
Despite these limitations, Principia Mathematica has had an enormous influence.
It “was instrumental in developing and popularizing modern mathematical logic”. It “served as a major impetus for research in the foundations of mathematics throughout the twentieth century”.
The book influenced subsequent thinkers, including Ludwig Wittgenstein. It helped establish analytic philosophy as a dominant tradition in the English-speaking world. Its notation and methods influenced computer science, particularly in the development of formal languages and proof systems.
As one reviewer put it: “Could it be true that Whitehead and Russell’s Principia Mathematica is the most influential book written in the 20th century? Ask any mathematician or philosopher—or anyone who understands the impact these fields have had on modern thinking—and you’ll get a short answer: yes”.
5. Strengths and Weaknesses
Strengths
Unprecedented rigor: Principia Mathematica demonstrates what it truly means to be rigorous. Every step is justified, every definition is explicit, every proof is complete. As the authors state: “We have found it necessary to give very full proofs, because otherwise it is scarcely possible to see what hypotheses are really required”.
Revolutionary notation: The symbolic language developed in Principia—though difficult—was a genuine innovation. It enabled reasoning that would have been impossible in ordinary language. As the authors explain, “The adaptation of the rules of the symbolism to the processes of deduction aids the intuition in regions too abstract for the imagination readily to present to the mind the true relation between the ideas employed”.
The theory of types: This was a genuine solution to the paradoxes that had threatened the foundations of mathematics. While later simplified, the basic insight—that self-reference must be avoided—remains central to logic and computer science.
Comprehensive scope: Principia Mathematica attempted to cover all of mathematics—from the simplest logical principles to advanced topics in set theory and arithmetic. The sheer ambition is breathtaking.
Weaknesses
The axiom of reducibility: This is the book’s Achilles’ heel. As the authors admit, it’s not self-evident. Later logicians have generally rejected it. The authors themselves note: “But clearly it is not the sort of axiom with which we can rest content”.
Extreme difficulty: Principia Mathematica is, by common consent, one of the most difficult books ever written. The notation is dense, the proofs are lengthy, and the concepts are abstract. Even the authors seem to have recognized this: “I used to know of only six people who had read the later parts of the book,” Russell wrote.
Gödel’s shadow: The book’s central project—to show that all of mathematics can be derived from logic—was shown to be impossible by Gödel’s incompleteness theorems. Any consistent formal system powerful enough to express arithmetic will contain true but unprovable propositions. This doesn’t make Principia worthless, but it does mean its core thesis is false.
Outdated notation: The notation used in Principia has largely been replaced by more modern systems. The dot notation for punctuation—which the authors defend at length in the Introduction—is now seen as cumbersome and confusing.
6. Comparison with Similar Works
Gottlob Frege’s Basic Laws of Arithmetic (1893–1903)
Frege’s work was the direct predecessor of Principia Mathematica. It attempted a similar project—to derive arithmetic from logic—and was similarly ambitious. But Frege’s system was shown to be inconsistent by Russell’s paradox. Principia Mathematica can be seen as an attempt to repair Frege’s system while preserving its core insights.
Kurt Gödel’s On Formally Undecidable Propositions (1931)
Gödel’s paper is, in a sense, the ultimate response to Principia Mathematica. It showed that the logicist project cannot succeed. Any consistent formal system powerful enough to express arithmetic will contain true but unprovable propositions.
This doesn’t invalidate Principia Mathematica—but it does show that its central thesis is false.
Ludwig Wittgenstein’s Tractatus Logico-Philosophicus (1921)
Wittgenstein was influenced by Principia Mathematica and, in turn, influenced the second edition. The Tractatus shares Principia‘s concern with logic and the foundations of mathematics, but takes a very different approach. Where Principia Mathematica is expansive and comprehensive, the Tractatus is compressed and aphoristic.
Contemporary Logic Textbooks
Modern logic textbooks—such as those by Enderton, Mendelson, or van Dalen—present the material of Principia Mathematica in a much more accessible form. They use clearer notation, provide more intuitive explanations, and incorporate the insights of Gödel and later logicians.
If you want to learn logic, read a modern textbook. If you want to understand the history of logic, read Principia Mathematica.
7. Conclusion
Principia Mathematica is not for everyone. In fact, it’s not for almost anyone. As G.H. Hardy noted in his review: “Perhaps twenty or thirty people in England may be expected to read this book”.
So who should read it?
Philosophers of mathematics: If you’re serious about the foundations of mathematics, you need to engage with Principia. It’s the most ambitious attempt ever made to carry out the logicist project.
Historians of logic: Principia Mathematica is a landmark in the history of logic. Understanding it is essential for understanding how modern logic developed.
Mathematicians interested in foundations: If you want to understand what it really means to prove something from first principles, Principia is the ultimate example.
Dedicated amateurs: If you’re willing to put in the work—and I mean a lot of work—Principia Mathematica can be a rewarding experience. But be prepared: it’s not summer vacation reading.
For everyone else, I recommend reading about Principia Mathematica rather than reading it. The Stanford Encyclopedia of Philosophy entry is excellent. The abridged edition (*Principia Mathematica to *56*) covers the most important parts of Volume I.
Final Thoughts
Reading Principia Mathematica is like climbing Everest: very few people do it, it requires enormous effort, and the view from the top is breathtaking. But you don’t need to climb Everest to appreciate its majesty.
Principia Mathematica is one of the great intellectual achievements of the 20th century. It showed, with unprecedented rigor, what it means to prove something from first principles. It introduced ideas—the theory of types, the axiomatic method, the power of symbolic logic—that have shaped mathematics, philosophy, and computer science.
But it also showed the limits of formalization. Gödel proved that no system like Principia Mathematica can be complete. The book’s central thesis—that all of mathematics can be reduced to logic—is false.
Yet that doesn’t make Principia Mathematica a failure. On the contrary: it’s a monument to human ambition and intellectual courage. It’s a book that tried to do the impossible—and in failing, showed us something profound about the nature of mathematics and logic.
As the authors themselves wrote: “The proof of a logical system is its adequacy and its coherence”. By that standard, Principia Mathematica is an extraordinary achievement. It is coherent. It is adequate to an astonishing range of mathematics.
And it has shaped the way we think about logic, mathematics, and the foundations of knowledge.
8. Frequently Asked Questions
What is Principia Mathematica about?
It’s a three-volume attempt by Alfred North Whitehead and Bertrand Russell to derive the whole of arithmetic, and much of mathematics beyond it, from a small set of logical axioms and primitive ideas, using a private symbolic notation instead of ordinary language.
Why does Principia Mathematica take so long to prove 1+1=2?
Because the authors refused to assume anything. Every number, including the number 1, first has to be defined logically as a class of classes before addition can even be introduced. The proof at proposition ✸54·43 isn’t slow because the math is hard, it’s slow because nothing is allowed to be taken on faith.
Is Principia Mathematica hard to read?
Yes, by design. After the introductory chapters, most pages contain almost no prose, just numbered propositions built entirely from earlier propositions. Even professional mathematicians in the 1910s and 1920s found long stretches of it difficult to follow without working through the notation slowly.
Do I need to read all three volumes?
Most readers don’t, and most citations of Principia Mathematica in later academic work actually reference the 1962 abridged edition, which covers only the first 56 numbered sections. That abridgment contains the theory of types, the logic of propositions and classes, and the arithmetic material, which is where almost all of the book’s lasting influence comes from.
How did Principia Mathematica influence Gödel?
Kurt Gödel used Principia Mathematica as the specific formal system he analyzed in his 1931 paper on incompleteness, proving that any system with Principia Mathematica‘s expressive power will always contain true statements that cannot be proven using its own axioms. In effect, Gödel used the tool Principia Mathematica built to show that the tool had a permanent, unfixable limit.
