  The most important argument for the existence of abstract mathematical objects derives from Gottlob Frege and goes as follows (Frege 1953). The language of mathematics purports to refer to and quantify over abstract mathematical objects. And a great number of mathematical theorems are true. But a sentence cannot be true unless its sub-expressions succeed in doing what they purport to do. So there exist abstract mathematical objects that these expressions refer to and quantify over.