model theory proof theory type theory computability theory computational complexity theory computational complexity mathematical logic logic
These problems and debates led to a wide expansion of mathematical logic, with subareas such as model theory (modeling some logical theories inside other theories), proof theory, type theory, computability theory and computational complexity theory.