The ultimate substantive legacy of Principia Mathematica is mixed. Why was Gödels finding ironic?