数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科。这里所指的数学方法就是引进一套符号体系的方法。