定义

一种数学证明方法,通常被用于证明某个给定命题在整个或者局部自然数范围内成立。