Hover or tap a class to see how it relates to the others. The three foundational languages (Set theory, Category theory, Type theory) are rivals — each can serve as the language in which mathematics is written. The two meta-disciplines (Mathematical logic, Computability) study formal systems and mechanical procedures from the outside.