“定理证明”常见的英文表达是 "theorem proving" 。
例如：Automated theorem proving is an important area in artificial intelligence.（自动定理证明是人工智能领域的一个重要方向。 ）