Jean Dieudonné, the spokesman of the group of French mathematicians named Bourbaki, called mathematics the music of reason. This metaphor invites a phenomenological account of the affective, in contrast to the epistemic and discursive, nature of mathematics: What constitutes its charm? Mathematical reasoning is described as a perceptual experience, which in Husserl’s late philosophy would be a case of passive synthesis. Like a melody, a mathematical proof is manifest in an affective identity of a temporal object. Rather than an exercise (...) for its own sake, this account sheds a different light on both the epistemic limitation of mathematical science, and the discursive problem of social responsibility in mathematics – two issues at the heart of Husserl’s critique of science as well as of mid-20th century mathematics, for which Nicolas Bourbaki stands as a monument of rigor. (shrink)

In this paper I propose a position in the ontology of mathematics which is inspired mainly by a case study in the mathematical discipline if-theory. The main theses of this position are that mathematical objects are introduced by mathematicians and that after mathematical objects have been introduced, they exist as objectively accessible abstract objects.