Plenty of math is done outside of ZFC, a lot of modern set theory for example, but that doesn't make it philosophy.
Even Grothendieck's EGA has a couple of arguments that cannot be carried out in ZFC in the generality he presents them in, but I wouldn't call EGA a philosophy treatise nor an algebraic geometer a philosopher