数理逻辑训练是指研究逻辑或形式逻辑的数学方法的训练。它属于形式逻辑，形式上是符号逻辑和数理逻辑，但本质上仍然属于智力逻辑的范畴。它既是数学的一个分支，也是逻辑的一个分支。他的研究对象是象征证明和计算两个直观概念的形式系统。数理逻辑是基础数学不可缺少的组成部分。虽然名称中含有“逻辑”一词，但它并不属于纯逻辑的范畴。