确定一个表达式在所有自然数范围内是成立的或者用于确定一个其他的形式在一个无穷序列是成立的。数理逻辑和计算机科学广义的形式的观点指出能被求出值的表达式是等价表达式。证明数列前n项和与通项公式的成立。证明和自然数有关的不等式。
