大家好，我是小夏，我来为大家解答以上问题。数理逻辑包括哪些内容，数理逻辑很多人还不知道，现在让我们一起来看看吧！

1、

数理逻辑又称符号逻辑、理论逻辑。

2、它既是数学的一个分支，也是逻辑学的一个分支。

3、是用数学方法研究逻辑或形式逻辑的学科。

4、其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。

5、数理逻辑是基础数学的一个不可缺少的组成部分。

6、虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

本文到此讲解完毕了，希望对大家有帮助。