不存在性定理相关论文