一般证明法

一般证明法(theorem prover)一种证明方法.直观上可以证明任何定理的方法为一般证明法，或为通用证明法、万能法.事实上，即使在算术领域，也不存在能判定一切命题的一般证明法.已经知道，存在一种万能法，可以在有限步内验证由谓词逻辑描述的任何定理.然而，这种方法的效率往往很低.