Frege hoped that the theories of mathematics could be given bases of self-evident axioms. As far as possible, the aim was the reduction of mathematics to logic; the axioms grounding mathematical theories should be logical principles, and the rules of inference used to move from the axioms to the theory should be rules of logic. Frege did not believe, however, that the reduction to logic was ach...