"Set theory serves as Foundations of Mathematics. The significance of this is that all questions of provability (or unprovability) of mathematical statements can be in principle reduced to formal questions of formal derivability from the generally accepted axioms of Set Theory"
Set Theory - Stanford Encyclopedia of Philosophy
