---
title: "Principia Mathematica, Volume I"
authors:
  - "Alfred North Whitehead"
  - "Bertrand Russell"
year: 1910
venue: "Cambridge University Press"
arxiv: null
doi: null
source: "https://archive.org/details/cu31924001575244"
topics:
  - logic
  - type-theory
  - principia
seed_rank: 488
seed_batch: "foundations-greats-2026-08-13"
reviewed: "2026-08-13"
pool: "maths-foundations"
relevance_score: 10
lineage: foundations-of-computing
cites:
  - title: "Begriffsschrift"
    url: "https://gdz.sub.uni-goettingen.de/id/PPN538957069"
    year: 1879
  - title: "Arithmetices principia, nova methodo exposita"
    url: "https://archive.org/details/arithmeticespri00peangoog"
    year: 1889
see:
  - "489-begriffsschrift"
  - "490-arithmetices-principia-nova-methodo-exposita"
---

# Principia Mathematica, Volume I

## One-sentence takeaway

Whitehead and Russell try to found mathematics on a ramified type theory large enough to block paradoxes and small enough, they hoped, that arithmetic becomes a chapter of logic.

## Why it matters here

The concrete formal system named in Gödel 1931's title, and the typed ancestor of the λ-calculi and modern type theories Anoptic already tracks.

## Key ideas

- Logicist reduction: numbers, relations, and classes are constructed from propositional functions rather than taken as primitive.
- Ramified theory of types plus the axiom of reducibility to recover impredicative mathematics without Russell's paradox.
- Volume I (1910) develops the type hierarchy, incomplete symbols, propositional logic, and the start of cardinal arithmetic; volumes II–III follow in 1912–13.
- Notation and length made the system famous as a target: incompleteness is proved *of Principia-like systems*, not of informal mathematics.

## Caveats

## Links

- Internet Archive: https://archive.org/details/cu31924001575244
- Gutenberg HTML: https://www.gutenberg.org/ebooks/78050