The ultimate substantive legacy of Principia Mathematica is mixed. Who discovered the incompleteness theorem of 1931?