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