Set theory is the foundation of pure mathematics: all of mathematics can be represented in set theory.

Bristol is the pre-eminent UK establishment in which to research and study set theory and the department has a distinguished history in mathematical logic, starting with John Shepherdson who built up the logic group at Bristol in the 1960s & 1970s.