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