《辞海》第6版：
【数理逻辑】亦称“符号逻辑”。用数学方法研究思维的形式结构及其规律的学科。内容有逻辑演算、模型论、公理集合论、递归论和证明论等。最早提出有关问题的是莱布尼茨，1847年布尔发表《逻辑的数学分析》后，才有所发展。19世纪末20世纪初，弗霄格等人在深入研究数学概念和证明中创立了经典的命题演算和谓词演算，20世纪30年代哥德尔证明了经典谓词演算的完全性和算术系统的不完全性等，使数理逻辑形成一门独立的学科。……
《中国大百科全书》第2版：
【数理逻辑(mathematical logic)】用数学的方法研究逻辑推理和数学计算，将推理论证、数学计算的过程符号化、形式化、公理化的学科。数学的分支。又称符号逻辑、数学逻辑。相对于2,000多年前已建立的古典形式逻辑而言，又称现代逻辑。……
