"The arithmetization of mathematics... which began with Weierstrass... had for its object the separation of purely mathematical concepts, such as number and correspondence and aggregate, from intuitional ideas, which mathematics had acquired from long association with geometry and mechanics. These latter, in the opinion of the formalists, are so firmly entrenched in mathematical thought that in spite of the most careful circumspection in the choice of words, the meaning concealed behind these words, may influence our reasoning. For the trouble with human words is that they possess content, whereas the purpose of mathematics is to construct pure thought."