名詞解釋無窮驗(yàn)證

參考答案：

在驗(yàn)證公式時需對無窮多個元組進(jìn)行驗(yàn)證就是無窮驗(yàn)證。