In the Principia Mathematica, Bertrand Russell and Alfred Whitehead attempted to give a rigorous foundation to mathematics using formal logic as their basis. They began with what they considered to be axioms, and used those to derive theorems of increasing complexity. By page 362, they had established enough to prove "1 + 1 = 2.

Stories of Your Life and Others