Mathematical logic

The study of mathematical reasoning and its formalization.