The evolution of principia mathematica