Bertrand Russell and Alfred North Whitehead wrote Principia Mathematica to ground mathematics in formal symbolic logic and eliminate set-theoretic contradictions