That, as always local achievements, provers come together and prove theorems, not simply to their own satisfaction, but for all provers for all time, provides the sustaining grounds of mathematical activity. These achievements, viewed as a research problem in the intersubjectivity of concerted action, allow the reformulation of the problem of mathematical foundations in terms of social interaction.