Gowers' division misses probability, though, which really is its own thing. Similarly, counting is the foundation for the axiomatization of mathematics and probably deserves its own category. They all bleed into one another (analysis uses counting for its formalization, probability uses both counting and analysis), but they can each stand on their own informally (and did, in some cases for centuries).