Frege demonstrated in Grundlagen that arithmetic truths follow from purely logical definitions witho...