Mathematical Proof

在数学中，是在一个特定的公理系统，根据一定的规则，由公理和定理推导出某些命题的过程。