ABSTRACT
The growth of logic after ‘Principia Mathematica’. In the years shortly after Principia Mathe-matica came out one was working to make its axiom bases simpler and better. But there has been little agreement with the Frege-Russell-Whitehead opinion 80that mathematics is logic, though some who have been in agreement with it have been high authorities, for example Quine. Outside the algebra and arithmetic of classes as branches of everyday mathematics not formed as axiom systems, the chief business of the logic of mathematics in the last 50 to 60 years has been with the metamathematics of axiom systems of logic and mathematics and with the field of ideas given birth by metamathematics.
