Question: What is the general consensus of the axioms and inference rules declared in Principia Mathematica?
Sentence: The ultimate substantive legacy of Principia Mathematica is mixed.
Answer in sentence: yes