I want to know the answer to the following question:
Who discovered the incompleteness theorem of 1931?
All the background I'm provided with is that "In this way, Principia Mathematica's legacy might be described as its key role in disproving the possibility of achieving its own stated goals.". Is that enough to answer the question?