数理逻辑的主要内容 ■命题逻辑、谓词逻辑、非古典逻辑 ■模型论、证明论、递归论、公理化集合论 模型论:用集合论的方法表示数学概念 证明论:用形式化的方法研究数学证明的过程 递归论:6 数理逻辑的主要内容 ◼ 命题逻辑、谓词逻辑、非古典逻辑 ◼ 模型论、证明论、递归论、公理化集合论 模型论：用集合论的方法表示数学概念 证明论：用形式化的方法研究数学证明的过程 递归论：