Question: Who discovered the incompleteness theorem of 1931?
Sentence: In this way, Principia Mathematica's legacy might be described as its key role in disproving the possibility of achieving its own stated goals.
Answer in sentence: no