 As we’ve now seen, the proof of Frege’s Theorem can be carried out independently of the portion of Frege’s system which led to inconsistency. Frege himself never identified “Frege’s Theorem” as a “result”. As previously noted, he attempted to derive Hume’s Principle from Basic Law V in Gg, but once the contradiction became known to him, he never officially retreated to the ‘fall-back’ position of claiming that the proof of the Dedekind-Peano axioms from Hume’s Principle alone constituted an important result. One of several reasons why he didn’t adopt this fall-back position is that he didn’t regard Hume’s Principle as a sufficiently general principle – he didn’t believe it was strong enough, from an epistemological point of view, to help us answer the question, “How are numbers given to us?”. We discuss the thinking behind this attitude, and other things, in what follows.