What is the general consensus of the axioms and inference rules declared in Principia Mathematica