Question: What did the incompleteness theorem of 1931 indicate regarding Principia Mathematica?
Sentence: The ultimate substantive legacy of Principia Mathematica is mixed.
Answer in sentence: no