Shapiro>
The formal structure of a theory may be mathematical in nature, and the ontology of mathematics is a subject unto itself. For example, the thesis of mathematical structuralism is that mathematical objects (if there are such objects) simply have no intrinsic nature. See