プリンキピア・マテマティカプリンキピア・マテマティカ

ホワイトヘッドと共著で1910-1913年に全3巻が刊行された、数学の論理学的基礎付けを目指す20世紀記号論理学の金字塔である。1+1=2の証明が第1巻の中盤まで現れないことで知られ、論理主義計画の到達点と限界の双方を示した。