Principia Mathematica

Principia Mathematica is the monumental three-volume work by Bertrand Russell and Alfred North Whitehead, published between 1910 and 1913, that attempted to derive all of mathematics from a small set of logical axioms and inference rules. It is the most ambitious single project in the history of logicism — the philosophical thesis that mathematics is reducible to pure logic — and it remains the largest formally rigorous construction ever attempted in the foundations of mathematics.

The work spans nearly 2,000 pages of dense symbolic notation. It begins with propositional and predicate logic, constructs arithmetic through the theory of classes, and attempts to build analysis, geometry, and the basic structures of mathematics from purely logical primitives. The question it asked was radical: not is