Mathematical logic
Home
>
Philosophy
>
Logic
>
Set Theory
>
Mathematical logic
The study of mathematical reasoning and its formalization.