 The pursuit of analyticity in the foundations of arithmetic is one that could be very well served by the proof-theoretic methods favored by the Dummettian anti-realist’s theory of meaning. Central to such a proof-theoretic approach is the formulation of inferential rules governing all the expression-forming operators in question—rules that come, preferably, in introduction-elimination pairs. The rules are constitutive of the respective operators’ meanings; whence results proved solely by means of those rules qualify as analytic. A question that will be raised by any alert meaning-theorist, therefore, is the following: Might there not be some anti-realist (constructive, or intuitionistic) derivation, in Fregean spirit, of the basic laws of arithmetic by appeal to suitable meaning-constituting rules of inference that conform to the general requirements of an anti-realist theory of meaning? Anti-realist doctrine invites such extension to the mathematical expressions in fundamental theories such as arithmetic. It could give Fregean logicists what they are seeking: fundamental derivations of the Dedekind-Peano postulates from more basic logical principles, logical principles that are at least as secure, epistemically, as the mathematical postulates they are seeking to derive. 