现代数理逻辑的四大分支是公理化集合论、证明论、模型论和哥德尔不完全性。（)
举一反三
- 数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（集中地、大量地、系统地使用符号来研究和表述逻辑)。用(数学方法研究逻辑)，是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:(集合论、模型论、递归论和证明论)。
- 20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项（ ）. A: 递归论 B: 证明论 C: 模型论 D: 推理论
- 20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项
- 关于哥德尔和他的“不完全性定理”,以下叙述错误的是() A: 哥德尔的不完全性定理对数学的基础研究没有影响 B: 哥德尔是美籍奥地利数理逻辑学家，以“哥德尔不完全性定理”留名数学史 C: 哥德尔的不完全性定理第一次分清了数学中的“真”和“可证”是两个不同的概念 D: 哥德尔的不完全性定理说明了“完备的”和“无矛盾的”公理系统是不存现在的
- ()是阿尔伯蒂的“大艺术”三部曲。 A: 《论绘画》、《论哲学》、《论建筑》 B: 《论绘画》、《论哲学》、《论文学》 C: 《论绘画》、《论雕塑》、《论建筑》 D: 《论绘画》、《论雕塑》、《论文学》