For the uninitiated, Bertrand Russell and Alfred North Whitehead purported to reduce all of mathematics to a set of foundational axioms and rules of inference, focusing primarily on sets and numbers (cardinal, ordinal, real). [read post]