For example, you could solve the twin prime conjecture by writing a Turing machine program that starts with the axioms and constructs all theorems that can be produced in one step using the rules of inference.

例如，你可以通过编写图灵机程序来解决孪生素数猜想，该程序从公理开始，构建所有可以使用推理规则一步生成的定理。