I think most mathematicians are more likely to be Platonists than formalists. Formalism is also a real position in philosophy of math, but a minority one for I think two reasons. One is that the math we&#x27;ve developed seems significant enough and effective enough to deserve more explanation than just &quot;it&#x27;s one of many possible formal systems&quot;. Second, if you take a straightforward formalist approach, then there aren&#x27;t really any interesting questions in philosophy of math, so people who think that are less likely to become philosophers of math.