集合是协调的概念,证明集合是协调的。 掌握演绎定理,完备性定理,协调性定理 掌握可满足性定理(谓词逻辑系统)证明的 基本思路, 掌握演绎定理的证明方法。❖ 集合是协调的概念，证明集合是协调的。 ❖ 掌握演绎定理,完备性定理,协调性定理， 掌握可满足性定理(谓词逻辑系统)证明的 基本思路, ❖ 掌握演绎定理的证明方法