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

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

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

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