数理逻辑

用数学的工具和方法研究推理、计算等问题的一门科学，是数学的一个分支。它的主要内容有：命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。