I want to know the answer to the following question:
What did the incompleteness theorem of 1931 indicate regarding Principia Mathematica?
All the background I'm provided with is that "The ultimate substantive legacy of Principia Mathematica is mixed.". Is that enough to answer the question?