The ultimate substantive legacy of Principia Mathematica is mixed. What did Kurt Godel's theorem demonstrate about axioms and the inference rules