Are there any applications of philosophy for mathematics?

It's pretty common in mathematics circles to almost snobbishly put down any philosophy as "irrelevant", "useless", or even "nonsense".

I never really know how to reply. Are there any examples where philosophy has had clear application/input in math?