The Problem of Conceptual Understanding
This chapter considers one of the most intriguing questions that philosophy of mathematics in practice must, sooner or later, confront: how understanding of mathematics is obtained. In particular, it examines how issues of meaning and understanding in relation to practice and use relate to the question of the acceptability of “classical” or postulational mathematics, a question usually formulated in terms of consistency. The chapter begins with a discussion of the iterative conception of the universe of sets and its presuppositions, analyzing it from the standpoint of the web of practices. It then addresses the issue of conceptual understanding in mathematics, as exemplifid by the theory Zermelo–Fraenkel axiom system (ZFC). Finally, it looks at arguments based on the idea of the real-number continuum as a source of justification for the axioms of set theory.