The attempt in Principia to exhibit mathematical truths as logical truths fails because it requires an essential reference to the metaphysical notion of types which is founded on a level of individuals derived from the physical world. (religion-online.org)