中读

数理逻辑是逻辑学的一个重要分支，数理逻辑用数学方法，也就是用符号和公式、公理的的方法研究人的思维过程、思维规律，其起源可以追溯到17世纪德国大数学家莱布尼茨，其目的是建立一种精确的、普遍的符号语言，并寻求一种推理演算，以便用演算去解决人如何推理的问题