The ultimate substantive legacy of Principia Mathematica is mixed. What did the incompleteness theorem of 1955 indicate regarding Principia Mathematica