《数理逻辑》主要包括：《公理集合论》《证明论》《模型论》《递归论》，今年来也加入了 《范畴论》的支持 。
其实，数学逻辑 也可以指 数学思维，那么就包括：逻辑推理、数字计算、结构搭建、空间想象、概念抽象、... 等 多种思维能力 。这其中只有 逻辑推理 和 形式逻辑 直接相关，算是 形式逻辑 的应用，所有大家不要仅仅将眼光集中在形式逻辑上！
（最后，小石头用 图对以上 回答 进行总结，希望大家能喜欢，感谢各位阅读！）

文章插图
逻辑学-形式逻辑-数学逻辑 概貌

• 小苏打和食用碱有什么区别？两者的区别以及用途分析
• 淘宝常见七种促销活动的优劣分析
• 装修用墙布好还是乳胶漆好？二者的优点和缺点分析
• 2022年的医保政策亮点分析 2022年医保涨价了要交多少钱
• 两种热水器各自的特点分析 燃气热水器和电器热水器哪个好
• 轮式洗衣机和滚筒式洗衣机优缺点分析 滚筒洗衣机有哪些优点和缺点
• 农村使用自来水好处分析 农村自来水开户多少钱
• 85粉和富强粉区别分析 什么是85粉
• 影响价格的因素分析 几十的短袖和几百的有什么区别
• 分析贵的原因 为什么特仑苏牛奶和金典牛奶卖那么贵