Title: Revisiting principia mathematica after 100 years