Russell & Whitehead's Principia Mathematica/Part 1

