即符号逻辑、形式逻辑，使用数学方法对逻辑以及数学本身的逻辑基础进行的研究，是一种元理论，研究对象为模型、证明、计算等的元性质。 一个形式化的逻辑系统包括： 语法，合式公式的组成 语义，公式的解释，模型，真值 演绎系统，包括推导规则