Frege's logicist program demonstrated that arithmetic truths, treated as self-evident by many, admit...