Yes, mathematical logic plays a crucial role in understanding mathematical concepts. Here are some ways in which it contributes:
Foundation of Mathematics
Proof Theory
Set Theory
Model Theory
Computability and Complexity
Forum