名词解释

【参考答案】

在验证公式时需对无穷多个元组进行验证就是无穷验证。