证明方法的分类