演绎证明的特点就是：如果前提正确,结论必然正确
利用演绎证明可以把数学各个定理联系起来,形成一个严密的系统