简答题 “数理逻辑”，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（集中地、大量地、系统地使用符号来研究和表述逻辑）。用（数学方法研究逻辑），是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科：（集合论、模型论、递归论和证明论）。文字中括号内的语词或语句是从内涵方面，还是从外延方面来说明标有引号的概念？

【参考答案】

第一、二个括号是从内涵方面说明“数理逻辑”这个概念，第三个括号是从外延方面说明“数理逻辑”这个概念。