The ultimate substantive legacy of Principia Mathematica is mixed.