There's a branch of math called the foundations of math. It's kind of like quantum mechanics. It's about how this very complex theory of math can be built up from very basic parts.