 This is provided as evidence that such a proposition is analytic.While Frege agrees that geometry is indeed synthetic a priori, arithmetic must be analytic.Frege roundly criticizes the empiricism of John Stuart Mill.