Logic and mathematics

The study of the relationship between mathematical reasoning and the rules of logic.