从命题的条件出发,利用_______、______、______及__________通过__________一步步地接近要证明的结论,直到完成命题的证明,这种思维方法称为________.
1.综合法的定义
定义
公理
定理
运算法则
演绎推理
综合法
2.综合法的推证过程