Frege's logicist program demonstrated that rigorous definitions of number yielded intersubjective ag...