How many theories were included within the Principia Mathematica?