数理逻辑引论

数理逻辑又称理论逻辑，是用数学方法研究逻辑或形式逻辑的学科。所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法，是数学基础的一个不可缺少的组成部分。