Russel and Whitehead were pioneers in a program to reduce mathematics to logic. Here, after 362 pages, the arithmetic proposition 1+1=2 is established.