qnli 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.