Frege's Neo-Logicist program fails if its foundational principle is synthetic rather than analytic, ...