构造性的证明方法和（B）可以证明存在性命题。A递推法B纯存在性证明方法C间接证明法D反证法本门课程完整