Frege's logicist program demonstrates that arithmetic truths are derivable from logical laws governi...