Writing of principia mathematica