数学里的推理与证明分为哪几种?