These include, for example, questions about the ontological status of mathematical objects (e.g., what is the nature of mathematical objects?) and the epistemological status of mathematical theorems (e.g., from what sources do we draw when we prove mathematical theorems?).