Title: Principia Mathematica To *56