In this way, Principia Mathematica's legacy might be described as its key role in disproving the possibility of achieving its own stated goals.