Set theory has traditionally been used as the foundation of maths from which you can model everything else. See the Bourbaki project. (Nowadays it seems there

Set theory has traditionally been used as the foundation of maths from which you can model everything else. See the Bourbaki project. (Nowadays it seems there are a lot of people interested in type theory taking that place.)