 Now, when crediting Frege also with the pioneering of a detailed execution of a logicist program, one cannot ignore his continuing insistence that the truths of Euclidean geometry were synthetic a priori, and founded in a completely different way from the truths of  arithmetic.[5]  Hence they were not subject to his doctrine of logicism. This is why we have exercised care in our introductory characterization of the doctrine of logicism, as concerned first and foremost with the truths of arithmetic and of real analysis. 