说明的逻辑运用数学中的推理方法从直观得到第一原理出发，所进行的全部必然性推理叫演绎