一般证明法

（数学术语）
一般证明法(theorem prover)一种证明方法.直观上可以证明任何定理的方法为一般证明法，或为通用证明法、万能法.事实上，即使在算术领域，也不存在能判定一切命题的一般证明法.已经知道，存在一种万能法，可以在有限步内验证由谓词逻辑描述的任何定理.然而，这种方法的效率往往很低.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：