Mathematical logic

Mathematical logic is the study of formal logic within mathematics.