An enormous book in which Bertrand Russell and Alfred North Whitehead attempt (and fail) to establish a set of foundational axioms which are powerful enough to be the basis of all mathematics but which are free of logical paradoxes.
Gödel's incompleteness theorems were in part a response to this book, and are widely interpreted as proving that the goal is impossible.