Abstract Neo-Fregean logicists claim that Hume’s Principle ( HP ) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is not deductively conservative over pure axiomatic second-order logic. This seems to preclude from being In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic 2FA ), a variation o...