... looks into questions such as ...
- Why are certain mathematical statements true?
- How can mathematical hypotheses be proved?
- Can a mathematical statement be even further generalised?
- How, exactly, does one define a mathematical structure (as much definition as necessary, as little definition as possible)?
- How can natural or technological processes be modelled mathematically?