The Decidability of Proof Method in the Predicate Logic Inference

• 谓词逻辑推理中证明方法的判定