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

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