递归证明的英文翻译
中文：递归证明
英文翻译：【计】 proof by recursion