Roughly a century ago, Whitehead and Russell set out to axiomize the fundamentals of mathematics by formal logic, resulting in the publication of the Principia Mathematica. I asked a few math professors in my college days whether or not this was considered successful and got mixed responses. What is the current consensus of the mathematical community? If Whitehead and Russell are considered unsuccessful, then what are the major technical reasons why?
closed as primarily opinion-based by астон вілла олоф мэллбэрг, Claude Leibovici, user91500, zhoraster, Watson Jan 7 '17 at 9:37
Many good questions generate some degree of opinion based on expert experience, but answers to this question will tend to be almost entirely based on opinions, rather than facts, references, or specific expertise. If this question can be reworded to fit the rules in the help center, please edit the question.