数学推理属于数学中的什么分类

题目

数学推理属于数学中的什么分类
我看网上说:分初等数学和高等数学.初等数学就是我们大学以前学的,高等数学主要以高等代数思想和微积分思想为基础,即空间概念和微分积分概念,由此衍生出了实变函数,复变函数,微分方程,概率论...
但是，推理是属于数学中的什么？
能不能给我一个具体的

答案

离散数学中的逻辑推理