Concept Formation and Concept Grounding

Recently Carrie S. Jenkins formulated an epistemology of mathematics, or rather arithmetic, respecting apriorism, empiricism, and realism. Central is an idea of concept grounding. The adequacy of this idea has been questioned e.g. concerning the grounding of the mathematically central concept of set (or class), and of composite concepts. In this paper we present a view of concept formation in mathematics, based on ideas from Carnap, leading to modifications of Jenkins's epistemology that may solve some problematic issues with her ideas. But we also present some further problems with her view, concerning the role of proof for mathematical knowledge.