 A discussion of the philosophical questions surrounding Frege’s Theorem should begin with some statement of how Frege conceived of his own project when writing Begr, Gl, and Gg. It seems clear that epistemological considerations in part motivated Frege’s work on the foundations of mathematics. It is well documented that Frege had the following goal, namely, to explain our knowledge of the basic laws of arithmetic by giving an answer to the question “How are numbers ‘given’ to us?” without making an appeal to the faculty of intuition. If Frege could show that the basic laws of number theory are derivable from analytic truths of logic, then he could argue that we need only appeal to the faculty of understanding (as opposed to some faculty of intuition) to explain our knowledge of the truths of arithmetic. Frege’s goal then stands in contrast to the Kantian view of the exact mathematical sciences, according to which general principles of reasoning must be supplemented by a faculty of intuition if we are to achieve mathematical knowledge. The Kantian model here is that of geometry; Kant thought that our intuitions of figures and constructions played an essential role in the demonstrations of geometrical theorems. (In Frege’s own time, the achievements of Frege’s contemporaries Pasch, Pieri and Hilbert showed that such intuitions were not essential.)