数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。

Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.

youdao

数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。

Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.

youdao