This paper outlines a second- philosophical account of arithmetic that places it on a distinctive ground between those of logic and set theory.