 We begin this section with some remarks about Gentzenian proof theory. This is not because it played any direct role in the development of logicism—far from it—but because we seek in this section to describe in broad terms a different kind of neo-logicism that draws more heavily on proof-theoretic resources. 