The ultimate substantive legacy of Principia Mathematica is mixed. What is the general consensus of the axioms and inference rules not declared in Principia Mathematica