“定理证明”常见的英文表达是 "theorem proving" 或 "proof of theorems"。其中，“theorem proving”更为常用和专业，尤其在计算机科学、数学逻辑及自动化推理领域，常用来指代通过逻辑或算法验证定理正确性的过程。