I would guess most mathematicians do not truly fully use ZFC at all. I think there is a lot of mathematics that is done which is actually independent of ZFC, it

I would guess most mathematicians do not truly fully use ZFC at all. I think there is a lot of mathematics that is done which is actually independent of ZFC, its more expressive than needed (if we look at reverse mathematics).