 Frege dedicated himself to the idea of eliminating appeals to intuition in the proofs of the basic propositions of arithmetic.  He explicitly remarked upon this fact in a number of works throughout his career (1879, Preface/5, Part III/§23; 1884, §§62, 87; 1893, §0; and 1903, Appendix). Thus, he would deny Kant’s dictum (A51 [B75]), ‘Without sensibility, no object would be given to us’, and claim instead that \(0\) and \(1\) are objects but that they ‘can’t be given to us in sensation’ (1884, 101). Frege’s view is that we can understand or grasp them as objects if we (a) define them as extensions of concepts, and (b) show that singular terms of the form \(\sm{\varepsilon}f(\varepsilon)\) can be axiomatized by an analytic proposition. (The latter was to be accomplished by Basic Law V, and so the collapse of this law in light of Russell’s paradox undermined this part of his plan for avoiding appeals to intuition.)