存在性分析