#logic

Mathematics 11 Oct 2026 · 8 min read

Principia Mathematica: hundreds of pages to reach 1 + 1 = 2

How Russell and Whitehead tried to build all of mathematics from pure logic, and what their attempt taught us about sets, numbers, types and the limits of proof.

• logic
• foundations
• set theory
• type theory