THE great achievement of the authors of “Principia Mathematica” is to have deduced mathematics by strict symbolic reasoning from a small number of logical propositions. This was previously attempted ...