数理逻辑是推理(逻辑)的代数化--逻辑是思维的理性计算过程的抽象

数理逻辑是推理(逻辑)的代数化。

代数：运算的规则和结构