My impression is that most mathematicians these days who work outside of mathematical logic would agree with the following statement: If at all possible, one should try to prove theorems within ZFC, or at least within ZFC plus some mild large cardinal axioms (e.g. the existence of inaccessible cardinals).''