The validation of a proposition by application of specified rules,as of induction or deduction,to assumptions,axioms,and sequentially derived conclusions.

• 证明通过运用特定的规则对一个命题的证实，如运用演绎法和归纳法进行假设、推理，最后得出结论