数理逻辑
是用数学方法研究关于推理、证明等逻辑问题特别是数学中的逻辑问题的一门学科。最早提出数理逻辑思想的是德国的莱布尼兹，后经布尔、弗雷格、哥德尔等人的发展，于20世纪30年代形成为一门独立的学科。在中医现代研究中数理逻辑的应用日益深入，特别在中医智能电子计算机系统的研制中，数理逻辑是不可缺少的工具和方法。