数学中的合情推理与演绎推理的结合