通有存在性相关论文