I want to know the answer to the following question:
What is the general consensus of the axioms and inference rules declared in Principia Mathematica?
All the background I'm provided with is that "The ultimate substantive legacy of Principia Mathematica is mixed.". Is that enough to answer the question?