选择一个可以确定证明戈尔理论的计划。